Forum: A multiple-conclusion specification logic (1996)

by Dale Miller
Venue:Theoretical Computer Science
Citations:85 - 11 self

Active Bibliography

86 A Multiple-Conclusion Meta-Logic – Dale Miller - 1994
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005
Linear Logic as Logic Programming: An Abstract? – Dale Miller
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
4 A Survey of Linear Logic Programming – Dale Miller - 1995
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
7 An Overview of Linear Logic Programming – Dale Miller - 1985
7 Higher-Order Quantification and Proof Search – Dale Miller - 2002
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
3 A Linear Logic Specification for Chimera – Marco Bozzano, Giorgio Delzanno, Maurizio Martelli - 1997
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
Expressiveness of the logic programming language Forum in planning and concurrency – Paola Bruscoli, Alessio Guglielmi - 1994
2 Observations About Using Logic as a Specification Language – Dale Miller - 1995
23 Nominal logic programming – James Cheney, Christian Urban - 2006
5 A framework for proof systems – Vivek Nigam, Dale Miller
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
3 Proofs as Computations in Linear Logic – Giorgio Delzanno, Maurizio Martelli - 2000