Dusan Guller. On the Satisfiability and Validity Problems in the Propositional Gödel Logic. In Kurosh Madani, António Dourado Correia, Agostinho C. Rosa, Joaquim Filipe, editors, Computational Intelligence - Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010. Volume 399 of Studies in Computational Intelligence, pages 211-227, Springer, 2010. [doi]
@inproceedings{Guller10a,
title = {On the Satisfiability and Validity Problems in the Propositional Gödel Logic},
author = {Dusan Guller},
year = {2010},
doi = {10.1007/978-3-642-27534-0_14},
url = {http://dx.doi.org/10.1007/978-3-642-27534-0_14},
researchr = {https://researchr.org/publication/Guller10a},
cites = {0},
citedby = {0},
pages = {211-227},
booktitle = {Computational Intelligence - Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010},
editor = {Kurosh Madani and António Dourado Correia and Agostinho C. Rosa and Joaquim Filipe},
volume = {399},
series = {Studies in Computational Intelligence},
publisher = {Springer},
isbn = {978-3-642-27533-3},
}