M. C. J. D. van Eekelen
4 published titles
Functional programming and parallel graph rewriting
(Contributor)
1 edition
- ISBN: 0201416638
- Addison-Wesley
- 1993
- Details
Term graph rewriting : theory and practice
(Contributor)
1 edition
- ISBN: 0471935670
- Wiley
- 1993
- Details
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642228629
- Springer
- 2011
- Details
Foundational and practical aspects of resource analysis : second international workshop, FOPARA 2011, Madrid, Spain, May 19 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642324949
- Springer
- 2012
- Details
