| Publication | Date of Publication | Type |
|---|
Semantics and strong sequentially of priority term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
| scientific article; zbMATH DE number 7360252 (Why is no real title available?) | 2021-06-17 | Paper |
scientific article; zbMATH DE number 7360252 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-17 | Paper |
| Inverse Unfold Problem and Its Heuristic Solving | 2019-10-24 | Paper |
A parse-based framework for coupled rhythm quantization and score structuring
Mathematics and Computation in Music | 2019-10-17 | Paper |
Conditions for confluence of innermost terminating term rewriting systems
Applicable Algebra in Engineering, Communication and Computing | 2019-08-27 | Paper |
Term rewriting with prefix context constraints and bottom-up strategies
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Non-\(E\)-overlapping, weakly shallow, and non-collapsing TRSs are confluent
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Completion after program inversion of injective functions
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Undecidable properties on length-two string rewriting systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Transformation for refining unraveled conditional term rewriting systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Improving determinization of grammar programs for program inversion
Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
| Narrowing-based simulation of term rewriting systems with extra variables and its termination proof | 2013-08-27 | Paper |
Determinization of conditional term rewriting systems
Theoretical Computer Science | 2013-01-07 | Paper |
Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
Logical Methods in Computer Science | 2012-08-15 | Paper |
| Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity | 2012-04-24 | Paper |
Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
(available as arXiv preprint) | 2012-04-24 | Paper |
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Information Processing Letters | 2012-03-27 | Paper |
Controlled term rewriting
Frontiers of Combining Systems | 2011-10-07 | Paper |
Proving injectivity of functions via program inversion in term rewriting
Functional and Logic Programming | 2010-05-04 | Paper |
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Enhancing dependency pair method using strong computability in simply-typed term rewriting
Applicable Algebra in Engineering, Communication and Computing | 2007-11-19 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 1942460 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1511695 (Why is no real title available?) | 2000-09-27 | Paper |
| scientific article; zbMATH DE number 1380890 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1380889 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1322313 (Why is no real title available?) | 1999-11-08 | Paper |
Semantics and strong sequentiality of priority term rewriting systems
Theoretical Computer Science | 1999-01-12 | Paper |
