Karl Stroetmann

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

University of Münster, Germany (PHD)

Education History

University of Münster, Germany

PHD

Publications

Sabine Glesner, Karl Stroetmann
Combining Inclusion Polymorphism and Parametric Polymorphism CoRR (1999)
Karl Stroetmann
The Constrained Shortest Path Problem: A Case Study in Using ASMs. J. Univers. Comput. Sci. 3 (4) (1997)
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)
Karl Stroetmann
A Completeness Result for SLDNF-Resolution. J. Log. Program. 15 (4) (1993)