Unsatisfiable Formulae of Gödel Logic with Truth Constants and 𝜟 Are Recursively Enumerable
Authors
Dušan Guller
Publication date
2015/11/30
Journal
Computational Intelligence: International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers
Volume
620
Pages
213
Publisher
Springer
Total citations
Scholar articles
D Guller - International Joint Conference on Computational …, 2014