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.

2004

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)

2003

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)

2002

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)

1995

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

1993

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]

1991

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 Wed Apr 23 16:19:53 2014 BST.