Back to Results
First PageMeta Content
Entailment / Logical consequence / Metalogic / Philosophical logic / Function / Knaster–Tarski theorem / Logic / Mathematics / Deduction


Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 3 Matthias F¨ ugger, March 25, 2010
Add to Reading List

Document Date: 2010-03-25 12:26:50

Open Document

File Size: 133,97 KB

Share Result on Facebook
UPDATE