Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Wolter, Frank"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Deciding inseparability and conservative extensions in the description logic
\cal EL
Carsten Lutz
,
Frank Wolter
Journal Symbolic Computation
45
(2), 2010, pp. 194-228
Quantitative temporal logics over the reals: PSPACE and below
Carsten Lutz
,
Dirk Walther
,
Frank Wolter
Information and Computation
205
(1), 2007, pp. 99-123