( en | de | ru )

 

Disambiguierung von "Krischer, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How to Realize LSE Narrowing.

, , und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 59-76. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Krischer

Hans Krischer

Sabine Krischer

Otto Krischer

Christof Krischer

 

Weitere Publikationen von Autoren mit dem selben Namen

A Concept for the Implementation of LSE Narrowing., , und . WLP, Seite 104-107. (1993)An Optimal Narrowing Strategy for General Canonical Systems., , und . CTRS, Volume 656 von Lecture Notes in Computer Science, Seite 483-497. Springer, (1992)Méthodes de vérification de circuits digitaux. (Verification methods for digital circuits).. National Polytechnic Institute of Lorraine, Nancy, France, (1994)Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test., und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 74-85. Springer, (1991)The Backward Walk Approach in FSM Verification.. CHDL, Volume A-32 von IFIP Transactions, Seite 155-162. North-Holland, (1993)How to Realize LSE Narrowing., , und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 59-76. Springer, (1994)How to Realize LSE Narrowing., , und . New Generation Comput., 16 (4): 397-434 (1998)Incomplete TRS-Specifications of Boolean Functions and their Verification.. Designing Correct Circuits, Volume A-5 von IFIP Transactions, Seite 67-79. North-Holland, (1992)Narrowing Strategies for Arbitrary Canonical Rewrite Systems., , und . Fundam. Informaticae, 24 (1/2): 125-155 (1995)