A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits (1996)

Cached

Download Links

by Michael Mendler
Venue:PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS
Citations:5 - 3 self

Active Bibliography

5 Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic – Michael Mendler - 1999
3 Almost duplication-free tableau calculi for propositional Lax logics – Alessandro Avellone, Mauro Ferrari - 1996
12 First-order Lax Logic as a Framework for Constraint Logic Programming – Matt Fairtlough , Michael Mendler, Matt Walton - 1997
61 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
4 Proof Search in Lax Logic – Jacob M. Howe - 2000
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
7 Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic – Rajeev Goré, Linda Postniece - 2008
1 On the Logical Content of Computational Type Theory: A Solution to Curry's Problem – Matt Fairtlough, Michael Mendler - 2002
The depth of intuitionistic cut free proofs – Samuel R. Buss, Rosalie Iemhoff - 2003
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
7 Proof Search in Constructive Logics – Roy Dyckhoff, Luís Pinto - 1998
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
25 A Monadic Calculus for Parallel Costing of a Functional Language of Arrays – C. B. Jay, M. I. Cole, M. Sekanina, P. Steckler - 1997
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
5 A cut-free sequent calculus for bi-intuitionistic logic: extended version – Linda Buisman, Rajeev Goré - 2007
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
2 Correspondences between Classical, Intuitionistic and Uniform Provability – Gopalan Nadathur - 2000