| No. |
Title |
Author |
Year |
| 1 |
Confluence Competition 2018 |
Aoto, Takahito et al. |
2018 |
| 2 |
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems |
Nishida, Naoki et al. |
2018 |
| 3 |
Reversible Term Rewriting |
Nishida, Naoki et al. |
2016 |
| 4 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Chiba, Yuki et al. |
2015 |
| 5 |
OASIcs, Volume 46, WPTE'15, Complete Volume |
Chiba, Yuki et al. |
2015 |
| 6 |
Inverse Unfold Problem and Its Heuristic Solving |
Nagashima, Masanori et al. |
2014 |
| 7 |
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems |
Gmeiner, Karl et al. |
2014 |
| 8 |
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings |
Nishida, Naoki et al. |
2014 |
| 9 |
Program Inversion for Tail Recursive Functions |
Nishida, Naoki et al. |
2011 |
| 10 |
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity |
Nishida, Naoki et al. |
2011 |
