Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1998 | How to realize LSE narrowing In: New Generation Computing [16], 397-434 | WernerBockmayrKrischer98 | |||||
1994 | How to realize LSE narrowing In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | WernerBockmayrKrischer94 | |||||
1993 | A Concept for the Implementation of LSE Narrowing In: 9.~Workshop Logische Programmierung, ? | WernerBockmayrKrischer93g | |||||
1993 | How to Realize LSE Narrowing | WernerBockmayrKrischer93i | |||||
1993 | How to Realize LSE Narrowing In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | WernerBockmayrKrischer93f |