Vyžádat soubor
Reference/citace: BÍLKOVÁ, Marta. A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. In: BEZHANISHVILI, N., LÖBNER, S., SCHWABE, K., SPADA, L., eds. Logic, Language, and Computation. Berlin: Springer, 2011, s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743
Vyžádané dokumenty: a0358360.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.