Počet záznamů: 1

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

SYSNO ASEP	0089500
Druh ASEP	V - Výzkumná zpráva
Zařazení RIV	Záznam nebyl označen do RIV
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
Č. sv. edice	2007-341
Poč.str.	15 s.
Jazyk dok.	eng - angličtina
Země vyd.	CZ - Česká republika
Klíč. slova	interpolation ; modal logic ; disjunction property ; feasible interpolation
Vědní obor RIV	BA - Obecná matematika
CEP	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2008

Počet záznamů: 1