%0 Conference Paper %1 conf/iberamia/GuzmanOV02 %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %B IBERAMIA %D 2002 %E Garijo, Francisco J. %E Santos, José Cristóbal Riquelme %E Toro, Miguel %I Springer %K dblp %P 161-171 %T Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. %U http://dblp.uni-trier.de/db/conf/iberamia/iberamia2002.html#GuzmanOV02 %V 2527 %@ 3-540-00131-X

@inproceedings{conf/iberamia/GuzmanOV02, added-at = {2017-05-21T00:00:00.000+0200}, author = {de Guzmán, Inman P. and Ojeda-Aciego, Manuel and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/206b57a06d02523e51c62662f9beab3ba/dblp}, booktitle = {IBERAMIA}, crossref = {conf/iberamia/2002}, editor = {Garijo, Francisco J. and Santos, José Cristóbal Riquelme and Toro, Miguel}, ee = {https://doi.org/10.1007/3-540-36131-6_17}, interhash = {37ae86bf0552c33d4e687162dd59cbd5}, intrahash = {06b57a06d02523e51c62662f9beab3ba}, isbn = {3-540-00131-X}, keywords = {dblp}, pages = {161-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:09:39.000+0200}, title = {Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/iberamia/iberamia2002.html#GuzmanOV02}, volume = 2527, year = 2002 }