Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
| |||||||
12 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
4 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
5 |
| |||||||
7 |
| |||||||
1 |
| |||||||
5 |
| |||||||
1995 | Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung Universität des Saarlandes | Thesis - Habilitation thesis | ||||||
1994 | A Term Equality Problem Equivalent to Graph Isomorphism In: Information Processing Letters [51], 61-66 | Journal Article | ||||||
1994 | Generalized Rewriting in Type Theory In: Journal of Information Processing and Cybernetics [30], 249-259 | Journal Article |