No. Title Author Year
1 Inverse Unfold Problem and Its Heuristic Solving Nagashima, Masanori et al. 2014
2 Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems Gmeiner, Karl et al. 2014
3 On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings Nishida, Naoki et al. 2014
4 Program Inversion for Tail Recursive Functions Nishida, Naoki et al. 2011
5 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: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI