Název: Complexity of Logics with Involutive Negation
Autoři: Haniková, Zuzana
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandský den '03, Paseky nad Jizerou (CZ), 2003-09-25 / 2003-09-26
Rok: 2003
Jazyk: cze
Klíčová slova: coNP-complete; involutive negation; SBL; t-norm logic
Číslo projektu: CEZ:AV0Z1030915 (CEP)
Zdrojový dokument: Doktorandský den '03, ISBN 80-86732-16-9

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/0010686

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-19553


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference