| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 8 |       | Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. New Generation Comput. 16(4): 397-434 (1998) |
| 6 | | Alexander Bockmayr, Stefan Krischer, Andreas Werner: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Inform. 24(1/2): 125-155 (1995) |
| 5 |  | Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. ALP 1994: 59-76 |
| 4 | | Alexander Bockmayr, Andreas Werner: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS 1994: 51-70 |
| 2 | | Andreas Werner, Alexander Bockmayr, Stefan Krischer: A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107 |
| 1 | | Alexander Bockmayr, Stefan Krischer, Andreas Werner: An Optimal Narrowing Strategy for General Canonical Systems. CTRS 1992: 483-497 |
Selection of 6 from 12 records - Andreas Werner has 3 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)