search result

Cover von Rewriting Logic and Its Applications
10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5 - 6, 2014, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8663
Media group: MONOGRAPHIE
Cover von Functional and Constraint Logic Programming
18th International Workshop, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5979
Media group: MONOGRAPHIE
Cover von Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16117
Media group: MONOGRAPHIE
Cover von Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20 - 22, 2020, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12328
Media group: MONOGRAPHIE
Cover von Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

Year: 2013
Media group: LIPIcs
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
Cover von Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6

Year: 2011
Media group: ARTICLE
OPEN V 11.1.0.0