Pierre Pillot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Sébastien Limet, Pierre Pillot: Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29

2005

1 Sébastien Limet, Pierre Pillot: Solving First Order Formulae of Pseudo-Regular Theory. ICTAC 2005: 110-124

	2006
2		Sébastien Limet, Pierre Pillot: Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29
	2005
1		Sébastien Limet, Pierre Pillot: Solving First Order Formulae of Pseudo-Regular Theory. ICTAC 2005: 110-124

Coauthor Index

1 Sébastien Limet [1] [2]