Original title: Complexity of Logics with Involutive Negation
Authors: Haniková, Zuzana
Document type: Papers
Conference/Event: Doktorandský den '03, Paseky nad Jizerou (CZ), 2003-09-25 / 2003-09-26
Year: 2003
Language: cze
Keywords: coNP-complete; involutive negation; SBL; t-norm logic
Project no.: CEZ:AV0Z1030915 (CEP)
Host item entry: Doktorandský den '03, ISBN 80-86732-16-9

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0010686

Permalink: http://www.nusl.cz/ntk/nusl-19553


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers