dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yves Auffray (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445

Selection of 3 from 4 records - Yves Auffray has 2 coauthors

Last update 2012-02-17 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page