host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Zprávy
>
Výzkumné zprávy
> Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Informace
Soubory
Název:
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Autoři:
Bílková, Marta
Typ dokumentu:
Výzkumné zprávy
Rok:
2007
Jazyk:
eng
Edice:
ITI Series
, svazek: 2007-341
Klíčová slova:
disjunction property
;
feasible interpolation
;
interpolation
;
modal logic
Číslo projektu:
CEZ:AV0Z10300504
(
CEP
),
1M0545
(
CEP
)
Poskytovatel projektu:
GA MŠk
Instituce:
Ústav informatiky AV ČR (
web
)
Informace o dostupnosti dokumentu:
Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam:
http://hdl.handle.net/11104/0150695
Trvalý odkaz NUŠL:
http://www.nusl.cz/ntk/nusl-37668
Záznam je zařazen do těchto sbírek:
Věda a výzkum
>
AV ČR
>
Ústav informatiky
Zprávy
>
Výzkumné zprávy
Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.
Podobné záznamy
Není přiložen dokument
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet