Back to Results
First PageMeta Content
Mathematical logic / Formal languages / Propositional calculus / Golden ratio / Well-formed formula / Entailment / Linear temporal logic / Principia Mathematica / Logic / Logical syntax / Metalogic


April 29, 2010 — Final version for proceedings of LICS’10 1
Add to Reading List

Document Date: 2010-04-29 08:06:06

Open Document

File Size: 149,32 KB

Share Result on Facebook

City

London / /

Country

United Kingdom / France / /

Facility

University of Bath École Polytechnique / /

IndustryTerm

graphical devices / proof systems / logical systems / /

Organization

Technische Universität Dresden / Cambridge Philosophical Society / University of Bath École Polytechnique / /

Person

Tom Gundersen Lutz Straßburger / Typed Lambda Calculi / /

Position

editor / representative / /

PublishedMedium

Theoretical Computer Science / Logical Methods in Computer Science / /

SocialTag