No. Title Author Year
1 Frontmatter, Table of Contents, Preface, Workshop Organization Schmidt-Schauß, Manfred et al. 2014
2 Inverse Unfold Problem and Its Heuristic Solving Nagashima, Masanori et al. 2014
3 OASIcs, Volume 40, WPTE'14, Complete Volume Schmidt-Schauß, Manfred et al. 2014
4 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: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI