dblp.uni-trier.dewww.uni-trier.de

Fred Kröger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Stephan Merz [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)