Klarlund, Nils
-
DAIMI Report Series No. 460 (1993): PB-460 Determinizing Asynchronous Automata - Articles
Determinizing Asynchronous Automata
Abstract PDF -
DAIMI Report Series No. 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
Abstract PDF -
DAIMI Report Series No. 470 (1994): PB-470 Verification of Pointers - Articles
Verification of Pointers
Abstract PDF -
DAIMI Report Series No. 211 (1986): PB-211 Time Representation and Use in Expert Systems - Articles
Time Representation and Use in Expert Systems
Abstract PDF -
DAIMI Report Series No. 421 (1992): PB-421 Graph Types - Articles
Graph Types
Abstract Untitled -
DAIMI Report Series No. 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
Abstract Untitled