-
1
-
-
0001773631
-
Unification via explicit substitutions: The case of higher-order patterns
-
In M. Maher, editor, Bonn, Germany, September, MIT Press
-
Gilles Dowek, Thérèse Hardin, Claude Kirchner, and Frank Pfenning. Unification via explicit substitutions: The case of higher-order patterns. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 259-273, Bonn, Germany, September 1996. MIT Press.
-
(1996)
Proceedings of the Joint International Conference and Symposium on Logic Programming
, pp. 259-273
-
-
Dowek, G.1
Hardin, T.2
Kirchner, C.3
Pfenning, F.4
-
2
-
-
0027353175
-
A framework for defining logics
-
January
-
Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the Association for Computing Machinery, 40(1):143-184, January 1993.
-
(1993)
Journal of the Association for Computing Machinery
, vol.40
, Issue.1
, pp. 143-184
-
-
Harper, R.1
Honsell, F.2
Plotkin, G.3
-
3
-
-
0012527090
-
-
Cambridge University Press. In preparation. Draft from April, available electronically
-
Frank Pfenning. Computation and Deduction. Cambridge University Press. In preparation. Draft from April 1997 available electronically.
-
Computation and Deduction
, pp. 1997
-
-
Pfenning, F.1
-
4
-
-
0002474842
-
Logic programming in the LF logical framework
-
editors, Logical Frameworks, Cambridge University Press
-
Frank Pfenning. Logic programming in the LF logical framework. In Gerard Huet and Gordon Plotkin, editors, Logical Frameworks, pages 149-181. Cambridge University Press, 1991.
-
(1991)
Gerard Huet and Gordon Plotkin
, pp. 149-181
-
-
Pfenning, F.1
-
5
-
-
84957105392
-
Elf: A meta-language for deductive systems
-
In A. Bundy, editor, Nancy, France, June, Springer-Verlag LNAI 814. System abstract
-
Frank Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, pages 811-815, Nancy, France, June 1994. Springer-Verlag LNAI 814. System abstract.
-
(1994)
Proceedings of the 12Th International Conference on Automated Deduction
, pp. 811-815
-
-
Pfenning, F.1
-
6
-
-
84947903948
-
The practice of logical frameworks
-
In Helene Kirchner, editor, Linkoping, Sweden, April, Springer-Verlag LNCS 1059. Invited talk
-
Frank Pfenning. The practice of logical frameworks. In Helene Kirchner, editor, Proceedings of the Colloquium on Trees in Algebra and Programming, pages 119-134, Linkoping, Sweden, April 1996. Springer-Verlag LNCS 1059. Invited talk.
-
(1996)
Proceedings of the Colloquium on Trees in Algebra and Programming
, pp. 119-134
-
-
Pfenning, F.1
-
7
-
-
0012526327
-
Algorithms for equality and unification in the presence of notational definitions
-
T. Altenkirch, W. Naraschewski, and B. Reus, editors, Springer-Verlag LNCS, To appear
-
Frank Pfenning and Carsten Schurmann. Algorithms for equality and unification in the presence of notational definitions. In T. Altenkirch, W. Naraschewski, and B. Reus, editors, Types for Proofs and Programs. Springer-Verlag LNCS, 1998. To appear.
-
(1998)
Types for Proofs and Programs
-
-
Pfenning, F.1
Schurmann, C.2
-
8
-
-
84947921641
-
Mode and termination checking for higher-order logic programs
-
In Hanne Riis Nielson, editor, Linkoping, Sweden, April, Springer-Verlag LNCS 1058
-
Ekkehard Rohwedder and Frank Pfenning. Mode and termination checking for higher-order logic programs. In Hanne Riis Nielson, editor, Proceedings of the European Symposium on Programming, pages 296-310, Linkoping, Sweden, April 1996. Springer-Verlag LNCS 1058.
-
(1996)
Proceedings of the European Symposium on Programming
, pp. 296-310
-
-
Rohwedder, E.1
Pfenning, F.2
-
9
-
-
84957086988
-
Automated theorem proving in a simple meta-logic for LF
-
In Claude Kirchner and Helene Kirchner, editors, Lindau, Germany, July, Springer-Verlag LNCS 1421
-
Carsten Schurmann and Frank Pfenning. Automated theorem proving in a simple meta-logic for LF. In Claude Kirchner and Helene Kirchner, editors, Proceedings of the 15th International Conference on Automated Deduction (CADE-15), pages 286-300, Lindau, Germany, July 1998. Springer-Verlag LNCS 1421
-
(1998)
Proceedings of the 15Th International Conference on Automated Deduction (CADE-15)
, pp. 286-300
-
-
Schurmann, C.1
Pfenning, F.2
|