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

Group by: Item Type | Date | No Grouping

2004 2003 2002 1995 1993 1991

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.

Preview

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.

Preview

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 Sat May 25 09:38:58 2013 BST.