| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 1 | Martin Müller | [4] [5] |
| 2 | Michael Rathjen | [7] |
| 3 | Andreas Schlüter | [7] |
| 4 | Thomas Strahm | [3] |
| 5 | Karl Stroetmann | [4] [5] [6] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page