Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
express (1) tempor (1) interv (1) logic (1) star (1) free (1)
Person: D. Lippert
DBLP: Lippert:D=
Contributed to:
Wrote 1 papers:
- CSL-1988-Lippert #logic
- Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.