Linear Logic and Noncommutativity in the Calculus of Structures
作者： Lutz Straßburger
DOI:
关键词: Calculus of structures 、 Time-scale calculus 、 Noncommutative logic 、 Calculus 、 Geometry of interaction 、 Proof calculus 、 Natural deduction 、 Zeroth-order logic 、 Computer science 、 Substructural logic
摘要:
qucosa.de参考文章(0)