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 |