On the Length of Medial-Switch-Mix Derivations

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_5 ◽

2017 ◽

pp. 68-79

Author(s):

Paola Bruscoli ◽

Lutz Straßburger

Download Full-text