0403600 - UIVT-O 990009 RIV DE eng C - Conference Paper (international conference)
Hájek, PetrTrakhtenbrot Theorem and Fuzzy Logic.
Computer Science Logic. Berlin: Springer, 1999 - (Gottlob, G.; Grandjean, E.; Seyr, K.), s. 1-8. Lecture Notes in Computer Science, 1584. ISBN 3-540-65922-6; ISBN 3-540-65922-6. ISSN 0302-9743.
[CSL'98 International Workshop /12./, Annual Conference of the EACSL. Brno (CZ), 24.08.1999-28.08.1999]
Grant - others:COST(XE) Action 15
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * undecidability * finite model theory
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123899