Using DAG transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Interence Export

@inproceedings{swoboda:udttvevhaevfhroi, author = {Swoboda, N. and Allwein, G.}, booktitle = {Proceedings of GT-VMT}, citeulike-article-id = {2406911}, keywords = {diagrams, euler-diagrams, vmg-bibtex-file}, posted-at = {2008-02-21 14:00:46}, priority = {2}, publisher = {Elsevier Science}, series = {ENTCS}, title = {Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence}, year = {2002} }

TY - CONF ID - swoboda:udttvevhaevfhroi L3 - citeulike-article-id:2406911 SE - ENTCS TI - Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence PB - Elsevier Science T2 - Proceedings of GT-VMT KW - diagrams KW - euler-diagrams KW - vmg-bibtex-file AU - Swoboda, N AU - Allwein, G PY - 2002/// ER -