|
Search the dblp DataBase
Yves Auffray:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yves Auffray, Patrice Enjalbert
Modal Theorem Proving: An Equational Viewpoint. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:441-445 [Conf]
- Yves Auffray
Linear Strategy for Propositional Modal Resolution. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1988, v:28, n:2, pp:87-92 [Journal]
- Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard
Strategies for Modal Resolution: Results and Problems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:1, pp:1-38 [Journal]
- Yves Auffray, Patrice Enjalbert
Modal Theorem Proving: An Equational Viewpoint. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1992, v:2, n:3, pp:247-295 [Journal]
Search in 0.002secs, Finished in 0.002secs
|