Author:
Baaz Matthias,Ciabattoni Agata,Preining Norbert
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Approach to a hospital-based application of a medical expert system;Adlassnig;Medical Informatics,1986
2. Infinite-valued Gödel logics with 0–1-projections and relativizations;Baaz,1996
3. Monadic fragments of Gödel logics: decidability and undecidability results;Baaz,2007
4. M. Baaz, A. Ciabattoni, N. Preining, SAT in Monadic Gödel Logics: a borderline between decidability and undecidability, in: Proceedings of WOLLIC 2009, in: LNAI, vol. 5514, pp. 113–123.
5. Embedding logics into product logic;Baaz;Studia Logica,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献