Fred Kröger

According to our database1, Fred Kröger
  • authored at least 13 papers between 1974 and 2008.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2008
Temporal Logic and State Systems
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-68635-4, 2008

1991
Temporal logic and recursion.
Fundam. Inform., 1991

Einführung in die Informatik - Algorithmenentwicklung.
Springer, ISBN: 978-3-540-53303-0, 1991

1990
On the Interpretability of Arithmetic in Temporal Logic.
Theor. Comput. Sci., 1990

1987
Temporal Logic of Programs
EATCS Monographs on Theoretical Computer Science 8, Springer, ISBN: 978-3-642-71549-5, 1987

1985
On Temporal Program Verification Rules.
ITA, 1985

1984
A Generalized Nexttime Operator in Temporal Logic.
J. Comput. Syst. Sci., 1984

1980
Infinite Proof Rules for Loops.
Acta Inf., 1980

1977
LAR: A Logic of Algorithmic Reasoning.
Acta Inf., 1977

1976
Logical Rules of Natural Reasoning about Programs.
ICALP, 1976

1975
Formalization of Algorithmic Reasoning.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974
Eine axiomatische Studie zur Identifikation von Identifikatoren.
Proceedings of the 3. Fachtagung über Programmiersprachen, 1974

Speicherzuordnung an Datenstrukturen.
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974


  Loading...