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
Hilfe
Suche: Author="Lipeck, U."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Construction of deterministic transition graphs from dynamic integrity constraints
U.W. Lipeck
,
D. Feng
Lecture Notes in Computer Science
344
, 1989, pp. 166-179
Algebraic and operational semantics of specifications allowing exceptions and errors
M. Gogolla
,
K. Drosten
,
U. Lipeck
,
H.-D. Ehrich
Theoretical Computer Science
34
(3), 1984, pp. 289-313
Algebraic domain equations
H.-D. Ehrich
,
U. Lipeck
Theoretical Computer Science
27
(1,2), 1983, pp. 167-196