Thomas Glaß

List of publications from the DBLP Bibliography Server - FAQ

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)

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)

Coauthor Index