| |
| 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 | |
| 1 | Stephan Merz | [10] |