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


DROPS-Home | Fulltext Search | Imprint Published by LZI