Graham Wrightson

Publication Activity (10 Years)

Years Active: 1974-2006
Publications (10 Years): 0

Publications

Michael R. Fellows, Stefan Szeider, Graham Wrightson
On finding short resolution refutations and small unsatisfiable subsets. Theor. Comput. Sci. 351 (3) (2006)
Michael R. Fellows, Stefan Szeider, Graham Wrightson
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. IWPEC (2004)
Jörg H. Siekmann, Graham Wrightson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Log. J. IGPL 10 (1) (2002)
Jörg H. Siekmann, Graham Wrightson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond (2002)
Jörg H. Siekmann, Graham Wrightson
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM 48 (1) (2001)
Bruce Davies, Graham Wrightson
An approach to strategies in concurrent systems. Electron. Notes Theor. Comput. Sci. 31 (2000)
Jo Coldwell, Graham Wrightson
Analytic Tableaux and Model Elimination. Aust. Comput. J. 30 (1) (1998)
Ljiljana Brankovic, Peter Horák, Mirka Miller, Graham Wrightson
Usability of Compromise-Free Statistical Databases SSDBM (1997)
Kevin Wallace, Graham Wrightson
Regressive Merging in Model Elimination Tableau-Based Theorem Provers. Log. J. IGPL 3 (6) (1995)
Graham Wrightson
Research into Analytic Tableaux. TABLEAUX (1992)
Graham Wrightson, Jo Coldwell
A Truncation Technique for Clausal Analytic Tableaux. Inf. Process. Lett. 42 (5) (1992)
Graham Wrightson
Nonclassical Logic Theorem Proving. J. Autom. Reason. 1 (1) (1985)
Hans Jürgen Ohlbach, Graham Wrightson
Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE (1984)
Jörg H. Siekmann, Graham Wrightson
Paramodulated Connection Graphs. Acta Informatica 13 (1980)
Graham Wrightson
On the Treatment of Equivalence Connectives in Automated Theorem Proving. GI Jahrestagung (1980)
Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
Paramodulated Connection Graphs. AISB/GI (ECAI) (1978)
Rudolf Peschke, Graham Wrightson
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU. RGU (1974)