We stand with Ukraine  

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.
[BibTeX]
[DOI]
Andreas Werner
PhD thesis, 1998

1995
Narrowing Strategies for Arbitrary Canonical Rewrite Systems.
[BibTeX]
[DOI]
Alexander Bockmayr
,
Stefan Krischer
,
Andreas Werner
Fundam. Informaticae, 1995

1994
LSE Narrowing for Decreasing Conditional Term Rewrite Systems.
[BibTeX]
[DOI]
Alexander Bockmayr
,
Andreas Werner
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

How to Realize LSE Narrowing.
[BibTeX]
[DOI]
Andreas Werner
,
Alexander Bockmayr
,
Stefan Krischer
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993
A Concept for the Implementation of LSE Narrowing.
[BibTeX]
Andreas Werner
,
Alexander Bockmayr
,
Stefan Krischer
Proceedings of the 9. Workshop Logische Programmierung, 1993

1992
An Optimal Narrowing Strategy for General Canonical Systems.
[BibTeX]
[DOI]
Alexander Bockmayr
,
Stefan Krischer
,
Andreas Werner
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992


  Loading...