 | 1998 |
|---|
| 8 |       | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
How to Realize LSE Narrowing.
New Generation Comput. 16(4): 397-434 (1998) |
| 1995 |
|---|
| 7 | | Alexander Bockmayr,
Stefan Krischer,
Andreas Werner:
Narrowing Strategies for Arbitrary Canonical Rewrite Systems.
Fundam. Inform. 24(1/2): 125-155 (1995) |
| 1994 |
|---|
| 6 |  | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
How to Realize LSE Narrowing.
ALP 1994: 59-76 |
| 1993 |
|---|
| 5 | | Stefan Krischer:
The Backward Walk Approach in FSM Verification.
CHDL 1993: 155-162 |
| 4 | | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
A Concept for the Implementation of LSE Narrowing.
WLP 1993: 104-107 |
| 1992 |
|---|
| 3 | | Alexander Bockmayr,
Stefan Krischer,
Andreas Werner:
An Optimal Narrowing Strategy for General Canonical Systems.
CTRS 1992: 483-497 |
| 2 | | Stefan Krischer:
Incomplete TRS-Specifications of Boolean Functions and their Verification.
Designing Correct Circuits 1992: 67-79 |
| 1991 |
|---|
| 1 | | Stefan Krischer,
Alexander Bockmayr:
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test.
RTA 1991: 74-85 |
