Alain Heuerding
According to our database1,
Alain Heuerding
authored at least 9 papers
between 1995 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1995
1996
1997
1998
1999
2000
0
1
2
3
1
2
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
J. Autom. Reason., 2000
1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
1997
J. Log. Comput., 1997
Log. J. IGPL, 1997
1996
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
1995
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
Proceedings of the Computer Science Logic, 9th International Workshop, 1995