Graham Wrightson
According to our database1, Graham Wrightson
authored at least 19 papers
between 1974 and 2006.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2006
On finding short resolution refutations and small unsatisfiable subsets.
Theor. Comput. Sci., 2006
2004
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.
Proceedings of the Parameterized and Exact Computation, First International Workshop, 2004
2002
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Logic Journal of the IGPL, 2002
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution.
J. ACM, 2001
2000
An approach to strategies in concurrent systems.
Electr. Notes Theor. Comput. Sci., 2000
1998
Analytic Tableaux and Model Elimination.
Australian Computer Journal, 1998
1997
Usability of Compromise-Free Statistical Databases
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
Regressive Merging in Model Elimination Tableau-Based Theorem Provers.
Logic Journal of the IGPL, 1995
1992
A Truncation Technique for Clausal Analytic Tableaux.
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. Reasoning, 1985
1984
Solving a Problem in Relevance Logic with an Automated Theorem Prover.
Proceedings of the 7th International Conference on Automated Deduction, 1984
1980
Paramodulated Connection Graphs.
Acta Inf., 1980
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980
1978
Paramodulated Connection Graphs.
AISB/GI (ECAI), 1978
1974
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU.
Proceedings of the Rechner-Gestützter Unterricht, 1974