Back to Results
First PageMeta Content
Model theory / Metalogic / Modal logic / Logic in computer science / Admissible rule / Curry–Howard correspondence / Kripke semantics / Interpretation / Intermediate logic / Logic / Mathematical logic / Propositional calculus


Document Date: 2004-10-08 18:46:07

Open Document

File Size: 210,33 KB

Share Result on Facebook

City

Amsterdam / Moscow / /

Company

A. / Israel Journal / /

Currency

pence / /

/

Event

Company Expansion / /

Facility

Cornell University / Steklov Mathematical Institute / Rosalie Iemhoff∗ Sergei Artemov City University of New York Institute / Technical University / /

IndustryTerm

appropriate natural systems / /

Organization

Technical University Vienna / City University of New York Institute for Discrete Mathematics and Graduate Center Geometry / Steklov Mathematical Institute / Cornell University / /

Person

Rosalie Iemhoff∗ Sergei / /

PublishedMedium

The Bulletin / Lecture Notes in Computer Science / /

Technology

functional programming / AV / /

URL

http /

SocialTag