Back to Results
First PageMeta Content
Combinatorics / Logical syntax / Combinatorics on words / Mathematical logic / Formal proof / Logical truth / Theorem / Mathematical proof / Haskell / Logic / Mathematics / Formal languages


Abstract Interpretation Using Laziness: Proving Conway’s Lost Cosmological Theorem
Add to Reading List

Document Date: 2007-09-14 13:01:57


Open Document

File Size: 93,51 KB

Share Result on Facebook
UPDATE