Kröger, Fred; Merz, Stephan Temporal logic and state systems. (English) Zbl 1169.03001 Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-540-67401-6). xii, 433 p. (2008). Reviewer: Damas Gruska (Bratislava) MSC: 03-02 03B44 03B70 68-02 68Q60 68Q85 PDFBibTeX XMLCite \textit{F. Kröger} and \textit{S. Merz}, Temporal logic and state systems. Berlin: Springer (2008; Zbl 1169.03001) Full Text: DOI
Kröger, Fred; Merz, Stephan Temporal logic and recursion. (English) Zbl 0717.68067 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 2, 261-281 (1991). MSC: 68Q60 03B45 PDFBibTeX XMLCite \textit{F. Kröger} and \textit{S. Merz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 2, 261--281 (1991; Zbl 0717.68067)
Kröger, Fred On the interpretability of arithmetic in temporal logic. (English) Zbl 0703.03004 Theor. Comput. Sci. 73, No. 1, 47-60 (1990). Reviewer: H.Nishimura MSC: 03B45 03B70 68Q55 PDFBibTeX XMLCite \textit{F. Kröger}, Theor. Comput. Sci. 73, No. 1, 47--60 (1990; Zbl 0703.03004) Full Text: DOI
Kröger, Fred Abstract modules: Combining algebraic and temporal logic specification means. (English) Zbl 0643.68009 Tech. Sci. Inf. 6, 559-573 (1987). Reviewer: L.Brim MSC: 68Q60 68Q65 03B70 PDFBibTeX XMLCite \textit{F. Kröger}, Tech. Sci. Inform. 6, 559--573 (1987; Zbl 0643.68009)
Kröger, Fred Temporal logic of programs. (English) Zbl 0609.03007 EATCS Monographs on Theoretical Computer Science, Vol. 8. Berlin etc.: Springer-Verlag. VIII, 148 p.; DM 68.00 (1987). Reviewer: H.Nishimura MSC: 03B70 68Q65 68Q60 03-02 68-02 03-01 68-01 PDFBibTeX XML
Kröger, F. A generalized nexttime operator in temporal logic. (English) Zbl 0551.68032 J. Comput. Syst. Sci. 29, 80-98 (1984). MSC: 68Q65 68Q60 03B45 PDFBibTeX XMLCite \textit{F. Kröger}, J. Comput. Syst. Sci. 29, 80--98 (1984; Zbl 0551.68032) Full Text: DOI
Kröger, F. LAR: A logic of algorithmic reasoning. (English) Zbl 0347.68016 Acta Inf. 8, 243-266 (1977). MSC: 68N01 03B10 03B45 PDFBibTeX XMLCite \textit{F. Kröger}, Acta Inf. 8, 243--266 (1977; Zbl 0347.68016) Full Text: DOI
Kröger, F. Logical rules of natural reasoning about programs. (English) Zbl 0362.68038 Automata, languages and programming, 3rd int. Collog. Edinburgh 1976, 87-98 (1976). MSC: 68N01 03B10 PDFBibTeX XML