Browse by Publisher

Group by: Item Type | Date | No Grouping

Jump to: Conference proceeding | Book section

Number of items: 4.

Conference proceeding

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: Computer Science in the Netherlands 1995, 1995, Utrecht. (KAR id:21226)

Boiten, Eerke Albert, Geerling, A.M., Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: Computer Science in the Netherlands 1993, 1993, Utrecht. (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) (KAR id:21091)

Boiten, Eerke Albert (1989) Inverting the Flow of Computation in Tree-like Recursive Functions. In: Apers, P.M.G. and Bosman, D. and van Leeuwen, J., eds. Computer Science in the Netherlands 1989. Stichting Mathematisch Centrum, Amsterdam (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) (KAR id:20944)

Book section

Boiten, Eerke Albert (1991) Solving a combinatorial problem by transformation of abstract data types. In: van Leeuwen, J., ed. UNSPECIFIED Stichting Mathematisch Centrum, Amsterdam, pp. 99-108. ISBN 90-6196-403-2. (KAR id:20987)

This list was generated on Mon Mar 30 05:47:39 2026 BST.