Back to Results
First PageMeta Content



Under consideration for publication in Math. Struct. in Comp. Science A System of Interaction and Structure V: The Exponentials and Splitting Alessio Guglielmi1† and Lutz Straßburger2‡ 1
Add to Reading List

Document Date: 2010-12-07 09:58:41


Open Document

File Size: 430,15 KB

Share Result on Facebook

City

Bath / /

Company

L. Straßburger 2 BV / NEL / /

Country

United Kingdom / France / /

Currency

pence / /

Facility

Computer Science University of Bath / /

IndustryTerm

cut-free systems / proof systems / proof search / consecutive applications / /

Organization

Ecole Polytechnique Laboratoire d’Informatique / University of Bath / Computer Science University / /

Position

hb / representative / /

Technology

http / /

SocialTag