Vyžádat soubor
Reference/citace: JALALI KESHAVARZ, Raheleh. An exponential lower bound for proofs in focused calculi. In: IEMHOFF, R., MOORTGAT, M., DE QUEIROZ, R., eds. Logic, Language, Information, and Computation. Berlin: Springer, 2019, s. 342-355. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743
Vyžádané dokumenty: Jalali.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.