We stand with Ukraine  

Karl Stroetmann

Affiliations:
  • Baden-Wuerttemberg Cooperative State University Stuttgart
  • Siemens AG, Corporate Research and Development


According to our database1, Karl Stroetmann authored at least 8 papers between 1991 and 1999.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1999
Combining Inclusion Polymorphism and Parametric Polymorphism
[BibTeX]
[DOI]
Sabine Glesner
,
Karl Stroetmann
CoRR, 1999

1997
The Constrained Shortest Path Problem: A Case Study in Using ASMs.
[BibTeX]
[DOI]
Karl Stroetmann
J. Univers. Comput. Sci., 1997

1996
PAN - The Prolog Analyzer.
[BibTeX]
[DOI]
Martin Müller
,
Thomas Glaß
,
Karl Stroetmann
Proceedings of the Static Analysis, Third International Symposium, 1996

Automated Modular Termination Proofs for Real Prolog Programs.
[BibTeX]
[DOI]
Martin Müller
,
Thomas Glaß
,
Karl Stroetmann
Proceedings of the Static Analysis, Third International Symposium, 1996

A Declarative Semantics for the Prolog Cut Operator.
[BibTeX]
[DOI]
Karl Stroetmann
,
Thomas Glaß
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995
Seduct - A Proof Compiler for First Order Logic.
[BibTeX]
[DOI]
Karl Stroetmann
Proceedings of the KORSO, 1995

1993
A Completeness Result for SLDNF-Resolution.
[BibTeX]
Karl Stroetmann
J. Log. Program., 1993

1991
Vollständige Resolutionskalküle für PROLOG.
[BibTeX]
[DOI]
Karl Stroetmann
PhD thesis, 1991


  Loading...