dblp.uni-trier.dewww.uni-trier.de

Stefan Krischer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
6EEAndreas 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
1EEStefan Krischer, Alexander Bockmayr: Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA 1991: 74-85

Coauthor Index

1Alexander Bockmayr [1] [3] [4] [6] [7] [8]
2Andreas Werner [3] [4] [6] [7] [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)