Back to Results
First PageMeta Content
Formal languages / Intuitionism / Mathematical constructivism / Proof theory / Non-classical logic / Realizability / Stephen Cole Kleene / Model checking / Linear temporal logic / Logic / Mathematical logic / Mathematics


CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50
Add to Reading List

Document Date: 2009-09-09 05:24:23

Open Document

File Size: 388,91 KB

Share Result on Facebook
UPDATE