EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (372 KB) Eisenbiegler.pdf2.pdf (224 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2948958
Titel An automata theory dedicated towards formal circuit synthesis
Autor Kumar, Ramayya
Eisenbiegler, Dirk
Institution Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT 1995. Ed.: E.T. Schubert. Berlin 1995. (Lecture notes in computer science. 971.)