Back to Results
First PageMeta Content
Mathematical logic / Type theory / Computability theory / Lambda calculus / Theoretical computer science / Model theory / Higher-order logic / Constructible universe / Mathematics


Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber
Add to Reading List

Document Date: 2005-09-13 07:35:24

Open Document

File Size: 1,52 MB

Share Result on Facebook
UPDATE