search result

Cover von Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Year: 2011
Media group: ARTICLE
Cover von Inverse Unfold Problem and Its Heuristic Solving

Inverse Unfold Problem and Its Heuristic Solving

Year: 2014
Media group: OASICS
Cover von OASIcs, Volume 40, WPTE'14, Complete Volume

OASIcs, Volume 40, WPTE'14, Complete Volume

Year: 2014
Media group: OASICS
Cover von Frontmatter, Table of Contents, Preface, Workshop Organization

Frontmatter, Table of Contents, Preface, Workshop Organization

Year: 2014
Media group: OASICS
Cover von First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2014 : July 13, 2014, Vienna, Austria
Search for this author
Year: 2014
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 40
Media group: OASICS
OPEN V 11.1.0.0