Andreas Werner

Affiliations:
  • Karlsruhe University, Germany (PhD 1998)


According to our database1, Andreas Werner authored at least 6 papers between 1992 and 1998.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Untersuchung von Strategien für das logisch-funktionale Programmieren.
PhD thesis, 1998

How to Realize LSE Narrowing.
New Gener. Comput., 1998

1995
Narrowing Strategies for Arbitrary Canonical Rewrite Systems.
Fundam. Informaticae, 1995

1994
LSE Narrowing for Decreasing Conditional Term Rewrite Systems.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

1993
A Concept for the Implementation of LSE Narrowing.
Proceedings of the 9. Workshop Logische Programmierung, 1993

1992
An Optimal Narrowing Strategy for General Canonical Systems.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992


  Loading...