CiteSeer.IST Home   Related articles for: J. Herbrand. Investigations in proof theory. In J. van Heijenoort, editor, From Frege to Godel: A Source Book of Mathematical Logic, pages 525--581. Harvard University Press, Cambridge, Mass., 1967.   Context

Related documents from co-citation:
5:   First-Order Logic and Automated Theorem Proving (context) - Fitting - 1990
4:   Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
4:   Permutability of inferences in Gentzen's calculi LK and LJ (context) - Kleene - 1952
4:   A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
3:   Foundations of Logic Programming (context) - Lloyd - 1987
3:   Introduction to metamathematics (context) - Kleene - 1991
2:   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
2:   Automated Proof Search in Non-Classical Logics (context) - Wallen - 1990
2:   Gentzen-type systems and resolution rules (context) - Mints - 1990
2:   First-order modal tableaux (context) - Fitting - 1988
2:   Knowledge representation and reasoning in incomplete logic programming (context) - Denecker - 1993
2:   Predicate logic as a programming language (context) - Kowalski - 1974
2:   Logic Programming and Negation: A Survey - Apt, Bol - 1994
2:   A man-machine theorem-proving system (context) - Bledsoe, Bruell - 1974
2:   Programming in Prolog (context) - Clocksin, Mellish - 1987
2:   Programming and Prolog (context) - Nilsson, Ma et al. - 1990
2:   Basic modal logic (context) - Fitting - 1993
2:   From Logic Programming to Prolog (context) - Apt - 1997
2:   Some applications of Gentzen's proof theory in automated deduction (context) - Beeson - 1988
2:   Constructing logic programs (context) - Jacquet - 1993

CiteSeer.IST - Copyright Penn State and NEC