Andreas Werner

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. New Gener. Comput. 16 (4) (1998)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Informaticae 24 (1/2) (1995)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. ALP (1994)
Alexander Bockmayr, Andreas Werner
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS (1994)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
A Concept for the Implementation of LSE Narrowing. WLP (1993)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
An Optimal Narrowing Strategy for General Canonical Systems. CTRS (1992)