Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic (1999)

Cached

Download Links

by Michael Mendler
Venue:Formal Methods in System Design
Citations:5 - 1 self

Active Bibliography

9 Ternary Simulation: A Refinement of Binary Functions or an Abstraction of Real-Time Behaviour? – Michael Mendler , Matt Fairtlough - 1996
3 Characterising Combinational Timing Analyses in Intuitionistic Modal Logic – M. Mendler - 2000
6 Maximal causality analysis – Klaus Schneider, Jens Br, Tobias Schuele, Thomas Tuerk - 2005
5 A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits – Michael Mendler - 1996
6 Cyclic Combinational Circuits – Marc D. Riedel - 2004
1 Specification, Simulation, and Verification of Timing Behavior – Tod Amon, Tod Amon - 1993
19 Verity -- a Formal Verification Program for Custom CMOS Circuits – Andreas Kuehlmann , Arvind Srinivasan, David P. Lapotin - 1994
1 On inter-expressibility of logical connectives in Gödel fuzzy logics – Vítězslav Svejdar, Kamila Bendová
7 Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic – Rajeev Goré, Linda Postniece - 2008
9 Sufficient conditions for cut elimination with complexity analysis – João Rasga - 2007
23 A formulae-as-types interpretation of subtractive logic – Tristan Crolard - 2004
16 Linearizing Intuitionistic Implication – Patrick Lincoln, Andre Scedrov, Natarajan Shankar - 1993
3 Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012
Some general results about proof normalization – Marc Aiguier, Delphine Longuet
Some – Marc Aiguier, Delphine Longuet
2 Implementation of Intuitionistic Type Theory and Realizability Theory – Yuki Komagata, David A. Schmidt - 1995
35 Strong Normalisation of Cut-Elimination in Classical Logic – C. Urban, G. M. Bierman - 2000
53 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999