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.

Pole označena znakem * je nutné vyplnit.

(Universities, research institutions, associations …)

a0358360.pdf

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.