Graham Wrightson

According to our database, Graham Wrightson

• authored at least 19 papers between 1974 and 2006.
• has a "Dijkstra number" of five.

2006

On finding short resolution refutations and small unsatisfiable subsets.

Michael R. Fellows , Stefan Szeider and Graham Wrightson

Theor. Comput. Sci., 2006

2004

On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.

Michael R. Fellows , Stefan Szeider and Graham Wrightson

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.

Jörg H. Siekmann and Graham Wrightson

Logic Journal of the IGPL, 2002

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.

Jörg H. Siekmann and Graham Wrightson

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örg H. Siekmann and Graham Wrightson

J. ACM, 2001

2000

An approach to strategies in concurrent systems.

Bruce Davies and Graham Wrightson

Electr. Notes Theor. Comput. Sci., 2000

1998

Analytic Tableaux and Model Elimination.

Jo Coldwell and Graham Wrightson

Australian Computer Journal, 1998

1997

Usability of Compromise-Free Statistical Databases

Ljiljana Brankovic , Peter Horák , Mirka Miller and Graham Wrightson

Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, 1997

Computer Money - Zahlungssysteme im Internet.

Andreas Furche and Graham Wrightson

dpunkt, ISBN: 978-3-920993-55-3, 1997

1996

Computer money - a systematic overview of electronic payment systems.

Andreas Furche and Graham Wrightson

dpunkt, ISBN: 978-3-920993-54-6, 1996

1995

Regressive Merging in Model Elimination Tableau-Based Theorem Provers.

Kevin Wallace and Graham Wrightson

Logic Journal of the IGPL, 1995

1992

A Truncation Technique for Clausal Analytic Tableaux.

Graham Wrightson and Jo Coldwell

Inf. Process. Lett., 1992

Research into Analytic Tableaux.

Graham Wrightson

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1985

Nonclassical Logic Theorem Proving.

Graham Wrightson

J. Autom. Reasoning, 1985

1984

Solving a Problem in Relevance Logic with an Automated Theorem Prover.

Hans Jürgen Ohlbach and Graham Wrightson

Proceedings of the 7th International Conference on Automated Deduction, 1984

1980

Paramodulated Connection Graphs.

Jörg H. Siekmann and Graham Wrightson

Acta Inf., 1980

On the Treatment of Equivalence Connectives in Automated Theorem Proving.

Graham Wrightson

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1978

Paramodulated Connection Graphs.

Norbert Eisinger , Jörg H. Siekmann and Graham Wrightson

AISB/GI (ECAI), 1978

1974

Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU.

Rudolf Peschke and Graham Wrightson

Proceedings of the Rechner-Gestützter Unterricht, 1974