KIT | KIT-Bibliothek | Impressum | Datenschutz

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas

Tveretina, O.; Wesselink, W.



Seitenaufrufe: 2
seit 07.05.2018
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2009
Sprache Englisch
Identifikator ISSN: 1571-0661
KITopen-ID: 1000028428
Erschienen in Journal Electronic Notes in Theoretical Computer Science
Band 25
Seiten 405-420
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page