Thomas Glaß

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Thomas Glaß, Michael Rathjen, Andreas Schlüter
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. Ann. Pure Appl. Log. 85 (1) (1997)
Thomas Glaß, Thomas Strahm
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join. Ann. Pure Appl. Log. 82 (2) (1996)
Martin Müller, Thomas Glaß, Karl Stroetmann
PAN - The Prolog Analyzer. SAS (1996)
Karl Stroetmann, Thomas Glaß
A Declarative Semantics for the Prolog Cut Operator. ELP (1996)
Martin Müller, Thomas Glaß, Karl Stroetmann
Automated Modular Termination Proofs for Real Prolog Programs. SAS (1996)
Thomas Glaß
On Power Set in Explicit Mathematics. J. Symb. Log. 61 (2) (1996)
Thomas Glaß
Understanding Uniformity in Feferman's Explicit Mathematics. Ann. Pure Appl. Log. 75 (1-2) (1995)