Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Fred Kröger
Observed names:
Dr. Fred Kröger,
F. Kröger,
Kröger, Fred
Observed institutions:
Technical University of Munich,
Ludwig-Maximilians-Universität München
OpenAlex ID:
A5064720343
Temporal Logic of Programs
1987
·
Fred Kröger
·
Springer eBooks
·
397
Temporal Logic and State Systems
2008
·
Kröger, Fred
, Merz, Stephan
·
Springer eBooks
·
123
On the interpretability of arithmetic in temporal logic
1990
·
Fred Kröger
·
Theoretical Computer Science
·
22
PDF
Logical Rules of Natural Reasoning about Programs.
1976
·
Fred Kröger
·
International Colloquium on Automata, Languages and Programming
·
13
A Uniform Logical Basis for the Description, Specification and Verification of Programs.
1977
·
Fred Kröger
·
9
Temporal Semantics of Programs
1987
·
Fred Kröger
·
Springer eBooks
·
7
First-Order Linear Temporal Logic
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
·
3
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters
1998
·
Bry, François
, Clote, Peter
, et al.
·
Open access LMU (Ludwid Maxmilian's Universitat Munchen)
·
2
PDF
Verification of State Systems
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
·
1
State Systems
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
·
1
Temporal Logic and Recursion
1991
·
Fred Kröger
, Stephan Merz
·
Fundamenta Informaticae
·
1
First-Order Temporal Logic
1987
·
Fred Kröger
·
Springer eBooks
·
1
Propositional Temporal Logic
1987
·
Fred Kröger
·
Springer eBooks
·
1
Formalization of algorithmic reasoning
1975
·
Fred Kröger
·
Lecture notes in computer science
·
1
Verification of Concurrent Programs
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Other Temporal Logics
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Basic Propositional Linear Temporal Logic
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Basic Concepts and Notions of Logics
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Extensions of LTL
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Expressiveness of Propositional Linear Temporal Logics
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Structured Specification
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
System Verification by Model Checking
2008
·
Fred Kröger
, Stephan Merz
·
Springer eBooks
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München
1999
·
Backofen, Rolf
, Böck, August
, et al.
·
Open access LMU (Ludwid Maxmilian's Universitat Munchen)
PDF
Darstellung von Algorithmen in MODULA-2
1991
·
Fred Kröger
·
Springer-Lehrbuch
Daten und Algorithmen
1991
·
Fred Kröger
·
Springer-Lehrbuch
Show more works
View as search
Works count:
40
Citation count:
582
H-index:
6
I10-index:
4
Year
Topic
Type
