| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael R. Fellows, Stefan Szeider, Graham Wrightson |
On finding short resolution refutations and small unsatisfiable subsets.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Fellows, Stefan Szeider, Graham Wrightson |
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg H. Siekmann, Graham Wrightson |
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
computational logic, mechanical theorem proving, mathematical logic |
| 1 | Bruce Davies, Graham Wrightson |
An approach to strategies in concurrent systems. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jo Coldwell, Graham Wrightson |
Analytic Tableaux and Model Elimination. |
Australian Computer Journal |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andreas Furche, Graham Wrightson |
Computer Money - Zahlungssysteme im Internet. |
|
1997 |
RDF |
|
| 1 | Ljiljana Brankovic, Peter Horák, Mirka Miller, Graham Wrightson |
Usability of Compromise-Free Statistical Databases |
SSDBM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andreas Furche, Graham Wrightson |
Computer money - a systematic overview of electronic payment systems. |
|
1996 |
RDF |
|
| 1 | Kevin Wallace, Graham Wrightson |
Regressive Merging in Model Elimination Tableau-Based Theorem Provers. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Wrightson, Jo Coldwell |
A Truncation Technique for Clausal Analytic Tableaux. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Graham Wrightson (eds.) |
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings |
Dagstuhl Seminar on Parallelization in Inference Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Graham Wrightson |
Research into Analytic Tableaux. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
| 1 | Graham Wrightson |
Nonclassical Logic Theorem Proving. |
J. Autom. Reasoning |
1985 |
DBLP BibTeX RDF |
|
| 1 | Hans Jürgen Ohlbach, Graham Wrightson |
Solving a Problem in Relevance Logic with an Automated Theorem Prover. |
CADE |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg H. Siekmann, Graham Wrightson |
Paramodulated Connection Graphs. |
Acta Inf. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Wrightson |
On the Treatment of Equivalence Connectives in Automated Theorem Proving. |
GI Jahrestagung |
1980 |
DBLP BibTeX RDF |
|
| 1 | Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson |
Paramodulated Connection Graphs. |
AISB/GI (ECAI) |
1978 |
DBLP BibTeX RDF |
|
| 1 | Rudolf Peschke, Graham Wrightson |
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU. |
RGU |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")