Fred Kröger

According to our database, Fred Kröger authored at least 14 papers between 1974 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

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

1991

Temporal logic and recursion.

Fred Kröger, Stephan Merz

Fundam. Informaticae, 1991

Einführung in die Informatik - Algorithmenentwicklung.

Fred Kröger

Springer, ISBN: 978-3-540-53303-0, 1991

1990

On the Interpretability of Arithmetic in Temporal Logic.

Fred Kröger

Theor. Comput. Sci., 1990

1987

Temporal Logic of Programs

Fred Kröger

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

1985

On Temporal Program Verification Rules.

Fred Kröger

RAIRO Theor. Informatics Appl., 1985

1984

A Generalized Nexttime Operator in Temporal Logic.

Fred Kröger

J. Comput. Syst. Sci., 1984

1980

Infinite Proof Rules for Loops.

Fred Kröger

Acta Informatica, 1980

1977

LAR: A Logic of Algorithmic Reasoning.

Fred Kröger

Acta Informatica, 1977

A Uniform Logical Basis for the Description, Specification and Verification of Programs.

Fred Kröger

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Logical Rules of Natural Reasoning about Programs.

Fred Kröger

Proceedings of the Third International Colloquium on Automata, 1976

1975

Formalization of Algorithmic Reasoning.

Fred Kröger

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974

Eine axiomatische Studie zur Identifikation von Identifikatoren.

Fred Kröger

Proceedings of the 3. Fachtagung über Programmiersprachen, 1974

Speicherzuordnung an Datenstrukturen.

Fred Kröger

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