Find:
Searching for PHRASE karl stroetmann.
Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
6 documents found. Order: number of citations.

Automated Modular Termination Proofs for Real Prolog Programs - Müller, Glaß, Stroetmann (1996)   (Correct)   (1 citation)
Real Prolog Programs Martin Muller Thomas Gla Karl Stroetmann Siemens Ag Zfe T Se 1 D-81730 Munchen,
Munchen, Germany fMartin.Mueller,Thomas.Glass,Karl.Stroetmanng@zfe.siemens.de phone: 49 89 636 41687
www.mathematik.uni-muenchen.de/~logik/Stroetmann/terminierung.ps.gz

Augmented Prolog - An Evolutionary Approach - Stroetmann, Glass (1995)   (Correct)   (1 citation)
Augmented Prolog -An Evolutionary Approach Karl Stroetmann And Thomas Glass Siemens Ag, Corporate
recommend the following solution. E-mail: Karl.Stroetmann@zfe.siemens.de. 1. Augment Prolog programs
ftp.irisa.fr/local/prolog-vision/stroetmann.ps.gz

Combining Inclusion Polymorphism and Parametric Polymorphism - Glesner, Stroetmann (1999)   (Correct)
and Parametric Polymorphism Sabine Glesner Karl Stroetmann Institut fur Programmstrukturen Siemens AG
636 42 284 glesner@ipd.info.uni-karlsruhe.de Karl.Stroetmann@mchp.siemens.de Abstract We show that the
i44www.info.uni-karlsruhe.de/~glesner/my_papers/glesner-stroetmann-99.ps.gz

Boosting the Quality and Maintainability of Prolog.. - Glass, Müller..   (Correct)
Analysis Techniques Thomas Gla, Martin Mller, Karl Stroetmann, Gerd Venzl Siemens AG, Corporate Research
checks described so far. References 4 [SGM96] Karl Stroetmann, Thomas Gla, and Martin Mller. PAN V2.0 -A
www.mathematik.uni-muenchen.de/~logik/Stroetmann/inap.ps.gz

The Constrained Shortest Path Problem: A Case Study in Using ASMs - Stroetmann   (Correct)
Path Problem: A Case Study in Using ASMs Karl Stroetmann Siemens AG, 81730 Munich, Germany
Stroetmann Siemens AG, 81730 Munich, Germany Karl.Stroetmann@mchp.siemens.de) Abstract: This paper
ftp.eecs.umich.edu/groups/gasm/shortpath.ps.gz

From Higher Order Terms To Circuits - Schwichtenberg, Stroetmann   (Correct)
Helmut Schw I Chtenberg And Karl Stroetmann From Higher Order Terms To Circuits 1 1.
Korsys)2 Helmut Schw I Chtenberg And Karl Stroetmann 1. It Opens The Possibility To Treat Some
www.mathematik.uni-muenchen.de/~schwicht/papers/florenz95/schwstr1.ps.Z

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
CiteSeer.IST - Copyright Penn State and NEC