Back to Results
First PageMeta Content
Mathematics / Natural deduction / Noncommutative logic / Cut-elimination theorem / Sequent calculus / Linear logic / Sequent / Rule of inference / Function / Logic / Mathematical logic / Proof theory


28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨
Add to Reading List

Document Date: 2007-12-18 10:38:31

Open Document

File Size: 216,22 KB

Share Result on Facebook

Company

System BV / /

/

IndustryTerm

given systems / proof-search perspective / logical systems / formal systems / lazy splitting algorithm / sequential operator / proof search / sub-systems / /

Person

Alessio Guglielmi / Lutz Straßburger Technische Universit / /

Technology

lazy splitting algorithm / /

SocialTag