Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf.
Add to Reading List
Document Date: 2005-12-02 04:44:23
Open Document
File Size: 196,04 KB
Share Result on Facebook
/
IndustryTerm
sub-systems /
software analysis /
worthy tool /
logical systems /
sequent systems /
/
Person
Lutz Straßburger Technische Universit /
Alessio Guglielmi /
/
SocialTag
Propositional calculus
Substructural logic
Logical truth
Automated theorem proving
Natural deduction
Noncommutative logic
Cut-elimination theorem
Sequent calculus
Sequent
Logic
A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf.