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

Cached

Download Links

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

Active Bibliography

947 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
942 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
3153 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
339 Theorems for free! – Philip Wadler - 1989
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller