Klarlund, Nils
-
DAIMI Report Series Nr. 460 (1993): PB-460 Determinizing Asynchronous Automata - Articles
Determinizing Asynchronous Automata
Resumé PDF (English) -
DAIMI Report Series Nr. 469 (1994): PB-469 Graphs and Decidable Transductions based on Edge Constraints: Extended abstract - Articles
Graphs and Decidable Transductions based on Edge Constraints: Extended abstract
Resumé PDF (English) -
DAIMI Report Series Nr. 470 (1994): PB-470 Verification of Pointers - Articles
Verification of Pointers
Resumé PDF (English) -
DAIMI Report Series Nr. 211 (1986): PB-211 Time Representation and Use in Expert Systems - Articles
Time Representation and Use in Expert Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 421 (1992): PB-421 Graph Types - Articles
Graph Types
Resumé Untitled (English) -
DAIMI Report Series Nr. 430 (1992): PB-430 Progress measures, immediate determinacy, and a subset construction for tree automata - Articles
Progress measures, immediate determinacy, and a subset construction for tree automata
Resumé Untitled (English)