Skip to main content
Kent Academic Repository
Simple search | Advanced search

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
Jump to: Article | Conference or workshop item | Edited book
Number of items: 7.

Article

Boiten, Eerke Albert and Möller, Bernhard (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2004.01.009) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Boiten, Eerke Albert and De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: Berghammer, R. and Möller, Bernhard, eds. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). pp. 82-88. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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, Bernhard and Nipkow, Tobias, eds. Selected Papers from the First International Workshop on 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]

Boiten, Eerke Albert (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. North-Holland, Amsterdam pp. 33-48. ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Partsch, H.A. and Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. North-Holland, Amsterdam pp. 71-89. ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Edited book

Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science, 2386 . Springer, Berlin/Heidelbeg/Paris, 267 pp. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Thu Mar 21 22:44:48 2019 GMT.
SensusAccess
Feedback