Stefan Krischer

According to our database, Stefan Krischer authored at least 8 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

How to Realize LSE Narrowing.

Andreas Werner, Alexander Bockmayr, Stefan Krischer

New Gener. Comput., 1998

1995

Narrowing Strategies for Arbitrary Canonical Rewrite Systems.

Alexander Bockmayr, Stefan Krischer, Andreas Werner

Fundam. Informaticae, 1995

1994

Méthodes de vérification de circuits digitaux. (Verification methods for digital circuits).

Stefan Krischer

PhD thesis, 1994

1993

A Concept for the Implementation of LSE Narrowing.

Andreas Werner, Alexander Bockmayr, Stefan Krischer

Proceedings of the 9. Workshop Logische Programmierung, 1993

The Backward Walk Approach in FSM Verification.

Stefan Krischer

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992

Incomplete TRS-Specifications of Boolean Functions and their Verification.

Stefan Krischer

Proceedings of the Designing Correct Circuits, 1992

An Optimal Narrowing Strategy for General Canonical Systems.

Alexander Bockmayr, Stefan Krischer, Andreas Werner

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test.

Stefan Krischer, Alexander Bockmayr

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991