Yves Auffray (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992)

3 Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990)

2 Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445

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

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