A proof theory for generic judgments: An extended abstract (2003)

by Dale Miller , Alwen Tiu
Venue:In LICS 2003
Citations:41 - 15 self

Active Bibliography

61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
The Australian National University – Alwen Tiu, Dale Miller
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
7 Representing and reasoning with operational semantics – Dale Miller - 2006
3 Cut elimination for a logic with generic judgments and induction – Alwen Tiu - 2008
4 Nominal Abstraction – Andrew Gacek, Dale Miller , Gopalan Nadathur - 2009
7 Encryption as an abstract data-type: An extended abstract – Dale Miller - 2003
14 Combining generic judgments with recursive definitions – Andrew Gacek, Dale Miller, Gopalan Nadathur
14 Mixing finite success and finite failure in an automated prover – Alwen Tiu, Gopalan Nadathur, Dale Miller - 2005
6 Lógica Linear E a Especificação De Sistemas Computacionais – Elaine Gouvea Pimentel, Elaine Gouvea Pimentel, Orientador Prof, Minas Gerais Belo, Horizonte M. G. Brasil, Co-orientador Prof, Dale Miller - 2001
33 Encoding Transition Systems in Sequent Calculus – Raymond Mcdowell, Dale Miller, Catuscia Palamidessi - 1996
15 Model checking for π-calculus using proof search – Alwen Tiu - 2005
7 Higher-Order Quantification and Proof Search – Dale Miller - 2002
61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
4 A Survey of Linear Logic Programming – Dale Miller - 1995
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
Reasoning about Computations Using Two-Levels of Logic – Dale Miller
3.5. Deep Inference and Categorical Axiomatizations 5 3.6. Proof Nets and Combinatorial Characterization of Proofs 5 – Des Spécifications Logiques