Authors: Kahle, R Studer, T

Citation: R. Kahle et T. Studer, Formalizing non-termination of recursive programs, J LOGIC ALG, 49(1-2), 2001, pp. 1-14

Authors: Probst, D Studer, T

Citation: D. Probst et T. Studer, How to normalize the Jay, THEOR COMP, 254(1-2), 2001, pp. 677-681

Authors: Jager, G Kahle, R Studer, T

Citation: G. Jager et al., Universes in explicit mathematics, ANN PUR APP, 109(3), 2001, pp. 141-162

Authors: Zuber, M Kaeslin, T Studer, T Erne, P

Citation: M. Zuber et al., Weight loss of 146 kg with diet and reversal of severe congestive heart failure in a young, morbidly obese patient, AM J CARD, 84(8), 1999, pp. 955