1 |
| Warren, David Scott (ed.) |
| |
| | 1998 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | Journal Article | |
| | 1995 | Bockmayr, Alexander
[Werner, Andreas] | | LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70 | Proceedings Article | |
| | 1995 | Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas] | | Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | Journal Article | |
| | 1994 | [Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan] | | How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | Proceedings Article | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ? | Proceedings Article | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to Realize LSE Narrowing | Report | |
| | 1993 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | Proceedings Article | |
1 |
| Williams, Denise A. (ed.) |
| |