The Aarhus Open House was intended as an informal forum for the exchange of ideas on recent developments in automata theory and its applications. In order to give a fair impression of those recent developments that were discussed, these proceedings include more than a reprinting of some of the formal papers that were presented
This report documents the program and the outcomes of Dagstuhl Seminar 21452 "Unambiguity in Automat...
This volume contains the exploratory papers and the extended abstracts accepted and presented at the...
Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar wa...
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Bi...
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Aw...
Contemporary introduction to automata theory that uniquely also covers some modern applications to b...
The aim of the seminar was to discuss and systematize the recent fast progress in automata theory an...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
Several of the contributions to this volume bring forward many mutually beneficial interactions and ...
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festsc...
21 pagesThis report contains abstracts of the lectures presented at the workshop ``Forma...
International audienceThese local proceedings hold the papers of two catgeories: (a) Short, non-revi...
These notes form the core of a future book on the algebraic foundations of automata theory. This boo...
The Eindhoven FASTAR Days (EFD) 2004 were organized by the Software Construction group of the Depart...
This report documents the program and the outcomes of Dagstuhl Seminar 21452 "Unambiguity in Automat...
This volume contains the exploratory papers and the extended abstracts accepted and presented at the...
Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar wa...
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Bi...
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Aw...
Contemporary introduction to automata theory that uniquely also covers some modern applications to b...
The aim of the seminar was to discuss and systematize the recent fast progress in automata theory an...
Automata Theory is part of computability theory which covers problems in computer systems, software,...
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
Several of the contributions to this volume bring forward many mutually beneficial interactions and ...
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festsc...
21 pagesThis report contains abstracts of the lectures presented at the workshop ``Forma...
International audienceThese local proceedings hold the papers of two catgeories: (a) Short, non-revi...
These notes form the core of a future book on the algebraic foundations of automata theory. This boo...
The Eindhoven FASTAR Days (EFD) 2004 were organized by the Software Construction group of the Depart...
This report documents the program and the outcomes of Dagstuhl Seminar 21452 "Unambiguity in Automat...
This volume contains the exploratory papers and the extended abstracts accepted and presented at the...
Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar wa...