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}, }