search result

Cover von Natural Inductive Theorems for Higher-Order Rewriting

Natural Inductive Theorems for Higher-Order Rewriting

Year: 2011
Media group: ARTICLE
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
Cover von Frontmatter, Table of Contents, Preface, Workshop Organization

Frontmatter, Table of Contents, Preface, Workshop Organization

Year: 2015
Media group: OASICS
Cover von 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2015 : July 2, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 46
Media group: OASICS
OPEN V 11.1.0.0