Back to Results
First PageMeta Content
Proof assistants / Logic in computer science / Theoretical computer science / Mathematical logic / Isabelle / HOL / Logic for Computable Functions


Introduction System Description Evaluation Conclusions, Future Work Efficiently Checking
Add to Reading List

Document Date: 2006-11-16 07:15:36


Open Document

File Size: 383,43 KB

Share Result on Facebook