Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

Article

Boiten, E.A. and Möller, B. (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (The full text of this publication is not available from this repository)

Conference or workshop item

Boiten, Eerke and De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). (The full text of this publication is not available from this repository)

Boiten, E.A. (2002) Mathematics of Program Construction: Sixth International Conference. In: 6th International Conference on Mathematics of Program Construction, 27-28 May 2004, Ede, The Netherlands. (The full text of this publication is not available from this repository)

Kahrs, Stefan (1995) The variable containment problem. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Kahrs, Stefan (1993) Compilation of combinatory reduction systems. In: Heering, Jan and Meinke, Karl and Möller, B. and Nipkow, Tobias, eds. Higher-Order Algebra, Logic, and Term Rewriting. Lecture Notes in Computer Science, 816. Springer pp. 169-188. ISBN 3-540-58233-9. (Full text available)
[img]
Preview
[img]

Partsch, H.A. and Boiten, E.A. (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Boiten, E.A. (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 24 19:58:18 2014 BST.