Fred Kröger

14 papers A* 1B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2008 — book
Temporal Logic and State Systems
Fred Kröger, Stephan Merz
1991 — book
Einführung in die Informatik - Algorithmenentwicklung.
Fred Kröger
1991 J jnl
Temporal logic and recursion.
Fundam. Informaticae
Fred Kröger, Stephan Merz
1990 J jnl
On the Interpretability of Arithmetic in Temporal Logic.
Theor. Comput. Sci.
Fred Kröger
1987 — book
Temporal Logic of Programs
Fred Kröger
1985 J jnl
On Temporal Program Verification Rules.
RAIRO Theor. Informatics Appl.
Fred Kröger
1984 J jnl
A Generalized Nexttime Operator in Temporal Logic.
J. Comput. Syst. Sci.
Fred Kröger
1980 J jnl
Infinite Proof Rules for Loops.
Acta Informatica
Fred Kröger
1977 — conf
A Uniform Logical Basis for the Description, Specification and Verification of Programs.
Formal Description of Programming Concepts
Fred Kröger
1977 J jnl
LAR: A Logic of Algorithmic Reasoning.
Acta Informatica
Fred Kröger
1976 A* conf
Logical Rules of Natural Reasoning about Programs.
ICALP
Fred Kröger
1975 B conf
Formalization of Algorithmic Reasoning.
MFCS
Fred Kröger
1974 — conf
Eine axiomatische Studie zur Identifikation von Identifikatoren.
Fachtagung über Programmiersprachen
Fred Kröger
1974 — conf
Speicherzuordnung an Datenstrukturen.
GI Jahrestagung
Fred Kröger