|
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
|
|
3
|
Maximal Causality Analysis
– Klaus Schneider, Jens Brandt, 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
|
|
5
|
Cyclic Combinational Circuits
– Marc D. Riedel, Marc D. Riedel
- 2004
|
|
1
|
Specification, Simulation, and Verification of Timing Behavior
– Tod Amon, Tod Amon
- 1993
|
|
18
|
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á
|
|
9
|
Sufficient conditions for cut elimination with complexity analysis
– João Rasga
- 2007
|
|
3
|
Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic
– Rajeev Goré, Linda Postniece
- 2008
|
|
15
|
Linearizing Intuitionistic Implication
– Patrick Lincoln, Andre Scedrov, Natarajan Shankar
- 1993
|
|
15
|
A formulae-as-types interpretation of subtractive logic
– Tristan Crolard
- 2004
|
|
|
Substructural Logical Specifications
– Robert J. Simmons, Robert Harper, André Platzer
- 2012
|
|
2
|
Implementation of Intuitionistic Type Theory and Realizability Theory
– Yuki Komagata, David A. Schmidt
- 1995
|
|
|
Some general results about proof normalization
– Marc Aiguier, Delphine Longuet
|
|
47
|
Structural Cut Elimination - I. Intuitionistic and Classical Logic
– Frank Pfenning
- 2000
|
|
29
|
Strong Normalisation of Cut-Elimination in Classical Logic
– C. Urban, G. M. Bierman
- 2000
|
|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
67
|
Formal Methods and the Certification of Critical Systems
– John Rushby
- 1993
|
