Index of 2001
Department Of Computer Science
Technical Reports
Aachener Informatik-Berichte (AIB)

Available Reports

2001-01
Jahresbericht 2000
2001-02
Benedikt Bollig, Martin Leucker
Deciding LTL over Mazurkiewicz Traces
2001-03
Thierry Cachat
The power of one-letter rational languages
2001-04
Benedikt Bollig, Martin Leucker, Michael Weber
Local Parallel Model Checking for the Alternation Free mu-Calculus
2001-05
Benedikt Bollig, Martin Leucker, Thomas Noll
Regular MSC Languages
2001-06
Achim Blumensath
Prefix-Recognisable Graphs and Monadic Second-Order Logic
2001-07
Martin Grohe, Stefan Wöhrle
An Existential Locality Theorem
2001-08
Mareike Schoop, James Taylor (eds.)
Proceedings of the Sixth International Workshop on the Language-Action Perspective on Communication Modelling
2001-09
Thomas Arts, Jürgen Giesl
A collection of examples for termination of term rewriting using dependency pairs
2001-10
Achim Blumensath
Axiomatising Tree-interpretable Structures
2001-11
Klaus Indermark, Thomas Noll (eds.)
Kolloquium Programmiersprachen und Grundlagen der Programmierung