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: 5.

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)

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, Eerke (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, Eerke (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 Tue Jul 15 08:46:08 2014 BST.