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

Yves Auffray Vis

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

*1992
4 Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992)
1990
3 Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990)
1989
2 Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445
1988
1 Yves Auffray: Linear Strategy for Propositional Modal Resolution. Inf. Process. Lett. 28(2): 87-92 (1988)

Coauthor Index

1Patrice Enjalbert [2] [3] [4]
2Jean-Jacques Hébrard [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)