Počet záznamů: 1

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

SYSNO	0358360
Název	A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
Tvůrce(i)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Logic, Language, and Computation. S. 30-45. - Berlin : Springer, 2011 / Bezhanishvili N. ; Löbner S. ; Schwabe K. ; Spada L.
Konference	TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./, Bakuriani, 21.09.2009-25.09.2009
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA900090703 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	modal logic * interpolation * deep inference
Trvalý link	http://hdl.handle.net/11104/0196432

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0358360.pdf	0	230.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1