| 1997 |
|---|
| 7 | | Thomas Glaß,
Michael Rathjen,
Andreas Schlüter:
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics.
Ann. Pure Appl. Logic 85(1): 1-46 (1997) |
| 1996 |
|---|
| 6 | | Karl Stroetmann,
Thomas Glaß:
A Declarative Semantics for the Prolog Cut Operator.
ELP 1996: 255-271 |
| 5 | | Martin Müller,
Thomas Glaß,
Karl Stroetmann:
Automated Modular Termination Proofs for Real Prolog Programs.
SAS 1996: 220-237 |
| 4 | | Martin Müller,
Thomas Glaß,
Karl Stroetmann:
PAN - The Prolog Analyzer.
SAS 1996: 387-388 |
| 3 | | Thomas Glaß,
Thomas Strahm:
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join.
Ann. Pure Appl. Logic 82(2): 193-219 (1996) |
| 2 | | Thomas Glaß:
On Power Set in Explicit Mathematics.
J. Symb. Log. 61(2): 468-489 (1996) |
| 1995 |
|---|
| 1 | | Thomas Glaß:
Understanding Uniformity in Feferman's Explicit Mathematics.
Ann. Pure Appl. Logic 75(1-2): 89-106 (1995) |
