KIT | KIT-Bibliothek | Impressum | Datenschutz

An automata theory dedicated towards formal circuit synthesis

Kumar, Ramayya; Eisenbiegler, Dirk

Open Access Logo


Volltext §
DOI: 10.5445/IR/294895
Cover der Publikation
Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator ISBN: 3-540-60275-5
ISSN: 0302-9743
urn:nbn:de:swb:90-AAA2948958
KITopen-ID: 294895
Erschienen in Higher order logic theorem proving and its applications. Ed.: E.T. Schubert
Verlag Springer Verlag
Seiten 154 - 169
Serie Lecture notes in computer science ; 971
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page