Graham Wrightson
According to our database1,
Graham Wrightson
authored at least 17 papers
between 1974 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Theor. Comput. Sci., 2006
2002
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Log. J. IGPL, 2002
2001
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution.
J. ACM, 2001
2000
Proceedings of the Computing: the Australasian Theory Symposium, 2000
1998
Analytic Tableaux and Model Elimination.
Aust. Comput. J., 1998
1997
Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, 1997
Computer Money - Zahlungssysteme im Internet.
dpunkt, ISBN: 978-3-920993-55-3, 1997
1996
Computer money - a systematic overview of electronic payment systems.
dpunkt, ISBN: 978-3-920993-54-6, 1996
1995
Log. J. IGPL, 1995
1992
Research into Analytic Tableaux.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
1985
Nonclassical Logic Theorem Proving.
J. Autom. Reason., 1985
1984
Proceedings of the 7th International Conference on Automated Deduction, 1984
1980
Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980
1978
Paramodulated Connection Graphs.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978
1974
Proceedings of the Rechner-Gestützter Unterricht, 1974