IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
References of Jean-Marc Talbot   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1 Add to my selection
Joachim Niehren, Martin Müller and Jean-Marc Talbot. Entailment of Atomic Set Constraints is PSPACE-Complete. In 14th Annual IEEE Symposium on Logic in Computer Science (LICS '99), July 2-5, Pages 285-294, IEEE Press, Trento, Italy, 1999. URL [Abstract]   Bibtex entry  google [Annote]
<< TechReport >> TOP
2 Add to my selection
Joachim Niehren, Martin Müller and Jean-Marc Talbot. Entailment of Atomic Set Constraints is PSPACE-Complete. Technical report, Technical Report, Universität des Saarlandes, Programming Systems Lab, Saarbrücken, 1998. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin