| |
- 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) |
| 7 | | Alexander Bockmayr, Stefan Krischer, Andreas Werner: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Inform. 24(1/2): 125-155 (1995) |
| 6 |  | Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. ALP 1994: 59-76 |
| 4 | | Andreas Werner, Alexander Bockmayr, Stefan Krischer: A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107 |
| 3 | | Alexander Bockmayr, Stefan Krischer, Andreas Werner: An Optimal Narrowing Strategy for General Canonical Systems. CTRS 1992: 483-497 |
| 1 | | Stefan Krischer, Alexander Bockmayr: Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA 1991: 74-85 |
Selection of 6 from 8 records - Stefan Krischer has 2 coauthors
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)