%0 Conference Paper %1 conf/ismvl/MurrayR91 %A Murray, Neil V. %A Rosenthal, Erik %B ISMVL %D 1991 %I IEEE Computer Society %K dblp %P 230-237 %T Improving Tableau Deductions in Multiple-Valued Logics. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl1991.html#MurrayR91 %@ 0-8186-2145-1

@inproceedings{conf/ismvl/MurrayR91, added-at = {2023-03-23T00:00:00.000+0100}, author = {Murray, Neil V. and Rosenthal, Erik}, biburl = {https://www.bibsonomy.org/bibtex/231e9089afe22cad682ebd58ee0fe805e/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISMVL.1991.130735}, interhash = {6bc62e10c3cca8b108d2a2ce7c38d3c4}, intrahash = {31e9089afe22cad682ebd58ee0fe805e}, isbn = {0-8186-2145-1}, keywords = {dblp}, pages = {230-237}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:37:00.000+0200}, title = {Improving Tableau Deductions in Multiple-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl1991.html#MurrayR91}, year = 1991 }