KIT | KIT-Bibliothek | Impressum | Datenschutz

Linear time computable problems and logical descriptions

Seese, Detlef

Open Access Logo


Volltext §
DOI: 10.5445/IR/246495
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA2464958
KITopen-ID: 246495
Erscheinungsvermerk In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Pisa, Italy. Ed.: A. Corradini. Elsevier Sci. B.V. 1995. S. 219-232. (Electronic notes in theoretical computer science. 2.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page