Pierre Pillot Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2006

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

2005

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

*	2006
2	EE	Sébastien Limet, Pierre Pillot: Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29
	2005
1	EE	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]