Search results

0404720 - UIVT-O 20020068 CZ eng K - Conference Paper (Czech conference)
Haniková, Zuzana
Complexity of the Propositional Tautology Problem for t-norm Logics.
Doktorandský den '02. Praha: Ústav informatiky AV ČR, 2002 - (Hakl, F.), s. 43-48. Technical Report, V-880.
[Doktorandský den '02. Praha (CZ), 17.10.2002]
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : complexity * propositional calculus * t-norm logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124958