The t‐variable method in gentzen‐style automatic theorem proving

Mathematical Logic Quarterly 36 (3):253-261 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360310

Other Versions

reprint Edwald, Tryggvi (1990) "The t-variable method in gentzen-style automatic theorem proving". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36(3):253-261

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
A Computational Logic Handbook.Robert S. Boyer & J. Strother Moore - 1988
PX, a Computational Logic.Susumu Hayashi & Hiroshi Nakano - 1987
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980.W. Bibel & Robert Kowalski - 1980 - Springer Verlag.
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982.Donald W. Loveland - 1982 - Springer.

Analytics

Added to PP
2013-12-01

Downloads
23 (#939,354)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.

Add more references