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="Kr{\"o}ger, F."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A generalized nexttime operator in temporal logic
F. Kröger
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 80-98
Infinite proof rules for loops
F. Kröger
Acta Informatica
14
(4), 1980, October, pp. 371-389
LAR: A logic of algorithmic reasoning
F. Kröger
Acta Informatica
8
(3), 1977, pp. 243-266
Eine axiomatische Studie zur Identifikation
F. Kröger
misc