Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 4.
| 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 (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) |
|
| 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) |
