| Publication | Date of Publication | Type |
|---|
Minimal relative normalization in orthogonal expression reduction systems
| 2024-07-05 | Paper |
Relative normalization in Deterministic Residual Structures
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Optimal normalization in orthogonal term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
A short proof of the decidability of normalization in recursive program schemes
| 2021-12-08 | Paper |
The geometry of orthogonal reduction spaces
Automata, Languages and Programming | 2018-07-04 | Paper |
Symbolic trajectory evaluation for word-level verification: theory and implementation
Formal Methods in System Design | 2017-05-15 | Paper |
Discrete normalization and standardization in deterministic residual structures
Algebraic and Logic Programming | 2017-01-19 | Paper |
Predicate Elimination for Preprocessing in First-Order Theorem Proving
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Encoding RTL constructs for \textsc{MathSAT}: a preliminary report
| 2013-09-26 | Paper |
SAT-based methods for sequential hardware equivalence verification without synchronization
| 2013-08-30 | Paper |
An abstract concept of optimal implementation
| 2013-08-27 | Paper |
An abstract Böhm-normalization
| 2013-08-23 | Paper |
EPR-based bounded model checking at word level
Automated Reasoning | 2012-09-05 | Paper |
On Formal Equivalence Verification of Hardware
Computer Science – Theory and Applications | 2008-06-05 | Paper |
Hardware and Software, Verification and Testing
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
The conflict-free reduction geometry
Theoretical Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2090064 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2043548 (Why is no real title available?)
| 2004-02-16 | Paper |
Perpetuality and uniform normalization in orthogonal rewrite systems
Information and Computation | 2003-01-14 | Paper |
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science | 2002-08-13 | Paper |
scientific article; zbMATH DE number 1722703 (Why is no real title available?)
| 2002-03-21 | Paper |
On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science | 2002-03-03 | Paper |
Stable results and relative normalization
Journal Of Logic And Computation | 2001-08-16 | Paper |
A syntactical analysis of normalization
Journal Of Logic And Computation | 2000-09-04 | Paper |
scientific article; zbMATH DE number 1499097 (Why is no real title available?)
| 2000-09-03 | Paper |
scientific article; zbMATH DE number 1361485 (Why is no real title available?)
| 2000-08-21 | Paper |
scientific article; zbMATH DE number 1456960 (Why is no real title available?)
| 2000-06-07 | Paper |
scientific article; zbMATH DE number 1414305 (Why is no real title available?)
| 2000-03-16 | Paper |
scientific article; zbMATH DE number 1342217 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1231495 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1088031 (Why is no real title available?)
| 1998-04-01 | Paper |
scientific article; zbMATH DE number 4208054 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4179330 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4211516 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4211517 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4174887 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4174888 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4174889 (Why is no real title available?)
| 1988-01-01 | Paper |
