Search the dblp DataBase

Publications of Author

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