Pierre Pillot

According to our database¹, Pierre Pillot authored at least 3 papers between 2005 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis.

[BibT_eX]

[DOI]

PhD thesis, 2007

2006

Deciding Satisfiability of Positive Second Order Joinability Formulae.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

2005

Solving First Order Formulae of Pseudo-Regular Theory.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005