Miller, D. and A. Tiu, A proof theory for generic judgments: An extended abstract, in: Proceedings of LICS  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Encryption as an abstract data-type: An extended abstract - Miller (2003) (1 citation) (Correct)
.... been used successfully to specify transitions in the # calculus [27] ad hoc provisos needed to make certain that names and scope were maintained correctly can be encoded in a meta logic by mapping names to term level abstractions (# abstractions) and to proof level abstractions (eigenvariables) [26]. Proof search in linear logic has been studied extensively and proof systems exist that give strong normal forms to how search can actually proceed [2, 24] As a result, significant information is known about the structure of cut free proofs: since these are the traces of protocols and ....
....interpreters that can execute and explore simple reachablity questions. Designing a deductive system that formally supports reasoning about specifications that contains such computational elements is significantly more di#cult. New quantification An extension to proof theory described in [26] proposes a new quantifier, #x.G, which might be more appropriate for capturing the notion of scoping of new names within a security protocol. It seems likely that could be used to generate nonces while would continue to be used for encryption keys. Related formalisms There are obviously ....
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. Accepted for LICS03. To appear, July 2003.
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) Self-citation (Tiu) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: An extended abstract. In Phokion Kolaitis, editor, Proceedings of LICS 2003.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) Self-citation (Miller Tiu) (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. In P. Kolaitis, editor, Proc. of LICS 2003.
Induction and Co-induction in Sequent Calculus - Momigliano, Tiu (2003) (1 citation) Self-citation (Tiu) (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. Proceedings of LICS'03, January 2003.
A Proof Search Specification of the π-Calculus - Tiu, Miller Self-citation (Miller Tiu) (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. In P. Kolaitis, editor, Proceedings of LICS 2003, pages 118 -- 127, July 2003.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) Self-citation (Miller Tiu) (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. In P. Kolaitis, editor, Proceedings of LICS 2003, pages 118 -- 127, July 2003.
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Miller, D. and A. Tiu, A proof theory for generic judgments: An extended abstract, in: Proceedings of LICS
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. In Proceedings of LICS 2003, pages 118--127. IEEE, June 2003. Extended version available at http://www.cse.psu.edu/dale/papers/nabla-subm.pdf.
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: extended abstract. In Proc. 18th Symp. on Logic in Computer Science (LICS 2003.
A Sequent Calculus for Nominal Logic - Gabbay, Cheney (2004) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: An extended abstract. In Proceedings of LICS 2003.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Dale Miller and Alwen Tiu, A proof theory for generic judgments: extended abstract, Proc. 18th symp. on logic in computer science (lics
Relating Nominal and Higher-Order Pattern Unification - Cheney (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: extended abstract. In Proc. 18th Symp. on Logic in Computer Science (LICS 2003), pages 118--127. IEEE Press, 2003.
A Simpler Proof Theory for Nominal Logic - Cheney (2005) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: extended abstract. In Proc. 18th Symp. on Logic in Computer Science (LICS 2003), pages 118--127. IEEE Press, 2003.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: extended abstract. In Proc. 18th Symp. on Logic in Computer Science (LICS 2003.
A Sequent Calculus for Nominal Logic - Gabbay, Cheney (2004) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: An extended abstract. In Proceedings of LICS 2003.
FCS'03 Preliminary Version - Encryption As An (Correct)
No context found.
D. Miller and A. Tiu. A proof theory for generic judgments: An extended abstract. To appear in the Proceedings of LICS03. July 2003.
A Definitional Approach to Primitive Recursion over.. - Ambler, Crole.. (2003) (3 citations) (Correct)
No context found.
Dale Miller and Alwen Tiu. A proof theory for generic judgments: An extended abstract. In Proceedings of the 18th Annual Symposium on Logic in Computer Science, Ottawa, Canada, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC