Fred Kröger
From MaRDI portal
Person:915717
Available identifiers
zbMath Open kroger.fredMaRDI QIDQ915717
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Temporal logic and state systems | 2009-01-09 | Paper |
| Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.) | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748896 | 1991-01-01 | Paper |
| On the interpretability of arithmetic in temporal logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3749040 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785898 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082275 | 1975-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Fred Kröger
