| Publication | Date of Publication | Type |
|---|
Approximating any logic program by a CS-program
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Narrowing directed by a graph of terms
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Modular termination of prefix-constrained term rewrite systems
Information Processing Letters | 2021-12-14 | Paper |
Confluence of prefix-constrained rewrite systems
| 2021-06-15 | Paper |
Towards more precise rewriting approximations
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Over-approximating terms reachable by context-sensitive rewriting
| 2017-10-27 | Paper |
Over-approximating descendants by synchronized tree languages
| 2017-02-01 | Paper |
Synchronized tree languages for reachability in non-right-linear term rewrite systems
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
Towards more precise rewriting approximations
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Regular sets of descendants by leftmost strategy
| 2013-08-23 | Paper |
Weak inclusion for recursive XML types
Implementation and Application of Automata | 2012-09-20 | Paper |
Weak inclusion for XML types
Implementation and Application of Automata | 2011-07-29 | Paper |
Minimal tree language extensions: a keystone of XML type compatibility and evolution
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Visibly Pushdown Languages and Term Rewriting
Frontiers of Combining Systems | 2008-09-16 | Paper |
Tree automata for rewrite strategies
Journal of Symbolic Computation | 2007-10-19 | Paper |
scientific article; zbMATH DE number 2090087 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2090069 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1705162 (Why is no real title available?)
| 2002-06-02 | Paper |
scientific article; zbMATH DE number 1722706 (Why is no real title available?)
| 2002-03-21 | Paper |
scientific article; zbMATH DE number 1405449 (Why is no real title available?)
| 2002-02-22 | Paper |
scientific article; zbMATH DE number 1405622 (Why is no real title available?)
| 2000-02-23 | Paper |
scientific article; zbMATH DE number 1375572 (Why is no real title available?)
| 1999-12-09 | Paper |
scientific article; zbMATH DE number 1189063 (Why is no real title available?)
| 1999-02-04 | Paper |
Basic narrowing revisited
Journal of Symbolic Computation | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4041327 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3921947 (Why is no real title available?)
| 1985-01-01 | Paper |
