Počet záznamů: 1

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

SYSNO	0089500
Název	Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Tvůrce(i)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID}
Vyd. údaje	Prague: ITI Charles University, 2007
Edice	ITI Series , 2007-341
Druh dok.	Výzkumná zpráva
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	CZ
Klíč.slova	interpolation * modal logic * disjunction property * feasible interpolation
Trvalý link	http://hdl.handle.net/11104/0150695

Počet záznamů: 1