=ADD=
=author=
Henzinger; Thomas + Raskin; Jean-Francois + Schobbens; Pierre-Yves 
=title=
Axioms for Real-Time Logics
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
005
=month=
8
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Raskin; Jean-Francois + Schobbens; Pierre-Yves
=title=
Proving a conjecture of Andreka on temporal logic
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
004
=month=
8
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Raskin; Jean-Francois + Schobbens; Pierre-Yves
=title=
The Logic of Event Clocks
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
002
=month=
8
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3



=ADD=
=author=
Vorobyov; Sergei
=title=
New Lower Bounds for the Expressiveness and the Higher-Order Matching Problem in the Simply Typed Lambda Calculus
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
001
=month=
7
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Wu; Jinzhao
=title=
Symmetries in Logic Programs
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
005
=month=
4
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Cortier; Veronique + Ganzinger; Harald + Jaquemard; Florent + Veanes; Margus
=title=
Decidable fragments of simultaneous rigid reachability
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
004
=month=
3
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Sanders; Peter + Egner; Sebastian + Korst; Jan
=title=
Fast Concurrent Access to Parallel Disks
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
003
=month=
6
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Boghossian; N.P. + Kohlbacher; O. + Lenhof; H.-P.
=title=
BALL: Biochemical Algorithms Library
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
002
=month=
4
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Henzinger; Thomas + Raskin; Jean-Francois + Schobbens; Pierre-Yves
=title=
Fully Decidable Logics, Automata and Classical Theories for Defining Regular Real-Time Languages 
=year=
1999
=institution=
Max Planck Institut fuer Informatik
=number=
003
=month=
8
=note=
Forschungsbericht
=location=
2
=owner=
2
=reftype=
11
=source=
3