Graham Wrightson

20 papers A 1B 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2006 J jnl
On finding short resolution refutations and small unsatisfiable subsets.
Theor. Comput. Sci.
Michael R. Fellows, Stefan Szeider, Graham Wrightson
2004 — conf
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.
IWPEC
Michael R. Fellows, Stefan Szeider, Graham Wrightson
2002 — conf
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Computational Logic: Logic Programming and Beyond
Jörg H. Siekmann, Graham Wrightson
2002 J jnl
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Log. J. IGPL
Jörg H. Siekmann, Graham Wrightson
2001 J jnl
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution.
J. ACM
Jörg H. Siekmann, Graham Wrightson
2000 — conf
An approach to strategies in concurrent systems.
CATS
Bruce Davies, Graham Wrightson
1998 J jnl
Analytic Tableaux and Model Elimination.
Aust. Comput. J.
Jo Coldwell, Graham Wrightson
1997 — book
Computer Money - Zahlungssysteme im Internet.
Andreas Furche, Graham Wrightson
1997 B conf
Usability of Compromise-Free Statistical Databases
SSDBM
Ljiljana Brankovic, Peter Horák, Mirka Miller, Graham Wrightson
1996 — book
Computer money - a systematic overview of electronic payment systems.
Andreas Furche, Graham Wrightson
1995 J jnl
Regressive Merging in Model Elimination Tableau-Based Theorem Provers.
Log. J. IGPL
Kevin Wallace, Graham Wrightson
1992 J jnl
A Truncation Technique for Clausal Analytic Tableaux.
Inf. Process. Lett.
Graham Wrightson, Jo Coldwell
1992 — ed.
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings
Dagstuhl Seminar on Parallelization in Inference Systems
Bertram Fronhöfer, Graham Wrightson
1992 B conf
Research into Analytic Tableaux.
TABLEAUX
Graham Wrightson
1985 J jnl
Nonclassical Logic Theorem Proving.
J. Autom. Reason.
Graham Wrightson
1984 A conf
Solving a Problem in Relevance Logic with an Automated Theorem Prover.
CADE
Hans Jürgen Ohlbach, Graham Wrightson
1980 — conf
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
GI Jahrestagung
Graham Wrightson
1980 J jnl
Paramodulated Connection Graphs.
Acta Informatica
Jörg H. Siekmann, Graham Wrightson
1978 — conf
Paramodulated Connection Graphs.
AISB/GI (ECAI)
Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
1974 — conf
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU.
RGU
Rudolf Peschke, Graham Wrightson