Stefan Krischer

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. New Gener. Comput. 16 (4) (1998)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Informaticae 24 (1/2) (1995)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. ALP (1994)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
A Concept for the Implementation of LSE Narrowing. WLP (1993)
Stefan Krischer
The Backward Walk Approach in FSM Verification. CHDL (1993)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
An Optimal Narrowing Strategy for General Canonical Systems. CTRS (1992)
Stefan Krischer
Incomplete TRS-Specifications of Boolean Functions and their Verification. Designing Correct Circuits (1992)
Stefan Krischer, Alexander Bockmayr
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA (1991)