EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (302 KB) Eisenbiegler_Dirk.pdf2.pdf (250 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA3393960
Titel Implementation issues about the embedding of existing high level synthesis algorithms in HOL.
Autor Eisenbiegler, Dirk
Blumenroehr, Christian
Kumar, Ramayya
Institution Fakultät für Informatik (INFORMATIK)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Theorem proving in higher order logics. TPHOLs '96. Ed.: J. von Wright
Verlag: Springer, Berlin
Jahr: 1996
ISBN: 3-540-61587-3
Seitenangabe: 157-172

Serie:
Lecture notes in computer science ; 1125