search result

Cover von Functional programming and parallel graph rewriting
Author: Plasmeijer, Rinus; Eekelen, Marko van Search for this author
Year: 1993
Publisher: Wokingham, Addison-Wesley
Series: International computer science series
Media group: MONOGRAPHIE
Cover von Term graph rewriting
theory and practice
Search for this author
Year: 1993
Publisher: New York, Wiley
Series: Wiley professional computing
Media group: MONOGRAPHIE
Cover von Parallel graph rewriting
some contributions to its theory, its implementation and its application
Author: Eekelen, Marko van Search for this author
Year: 1988
Publisher: Nijmegen, University
Media group: DISSERTATION
Cover von Formalizing Bialgebraic Semantics in PVS 6.0

Formalizing Bialgebraic Semantics in PVS 6.0

Year: 2015
Media group: OASICS
Cover von Foundational and Practical Aspects of Resource Analysis
Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7177
Media group: MONOGRAPHIE
Cover von Foundational and Practical Aspects of Resource Analysis
First International Workshop, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6324
Media group: MONOGRAPHIE
Cover von Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9964
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
OPEN V 11.1.0.0