 | 1991 |
|---|
| 10 |       | Fred Kröger,
Stephan Merz:
Temporal logic and recursion.
Fundam. Inform. 14(2): 261-281 (1991) |
| 1990 |
|---|
| 9 | | Fred Kröger:
On the Interpretability of Arithmetic in Temporal Logic.
Theor. Comput. Sci. 73(1): 47-60 (1990) |
| 1985 |
|---|
| 8 | | Fred Kröger:
On Temporal Program Verification Rules.
ITA 19(3): 261-280 (1985) |
| 1984 |
|---|
| 7 | | Fred Kröger:
A Generalized Nexttime Operator in Temporal Logic.
J. Comput. Syst. Sci. 29(1): 80-98 (1984) |
| 1980 |
|---|
| 6 | | Fred Kröger:
Infinite Proof Rules for Loops.
Acta Inf. 14: 371-389 (1980) |
| 1977 |
|---|
| 5 | | Fred Kröger:
LAR: A Logic of Algorithmic Reasoning
Acta Inf. 8: 243-266 (1977) |
| 1976 |
|---|
| 4 | | Fred Kröger:
Logical Rules of Natural Reasoning about Programs.
ICALP 1976: 87-98 |
| 1975 |
|---|
| 3 |  | Fred Kröger:
Formalization of Algorithmic Reasoning.
MFCS 1975: 287-293 |
| 1974 |
|---|
| 2 | | Fred Kröger:
Eine axiomatische Studie zur Identifikation von Identifikatoren.
Fachtagung über Programmiersprachen 1974: 25-33 |
| 1 | | Fred Kröger:
Speicherzuordnung an Datenstrukturen.
GI Jahrestagung 1974: 183-191 |
