Graham Wrightson

According to our database1, Graham Wrightson authored at least 17 papers between 1974 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

1975
1980
1985
1990
1995
2000
2005
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
On finding short resolution refutations and small unsatisfiable subsets.
Theor. Comput. Sci., 2006

2002
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Log. J. IGPL, 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.
Proceedings of the Computing: the Australasian Theory Symposium, 2000

1998
Analytic Tableaux and Model Elimination.
Aust. Comput. J., 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.
Log. J. 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. Reason., 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 Informatica, 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.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1974
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU.
Proceedings of the Rechner-Gestützter Unterricht, 1974


  Loading...