# Graham Wrightson

According to our database

Collaborative distances:

^{1}, Graham Wrightson authored at least 17 papers between 1974 and 2006.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### 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

Inf. Process. Lett., 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

Acta Informatica, 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