Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference release_kemfxhsyfvgppbbesvfpwchdwe

by Nik Swoboda, Gerard Allwein

Published in Electronical Notes in Theoretical Computer Science by Elsevier BV.

2003   Volume 72, p78-92

Archived Files and Locations

application/pdf  278.9 kB
file_xgtmvuratnejvhzden343ts2va
cliplab.org (web)
web.archive.org (webarchive)
application/pdf  248.7 kB
file_wvbeaw54hbcd3pdkr3thqaak5a
web.archive.org (webarchive)
core.ac.uk (aggregator)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2003
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1571-0661
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ab05b6c2-29b4-4060-8216-3453c7452831
API URL: JSON