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


SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005
Add to Reading List

Document Date: 2005-09-13 07:36:34


Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE