Boiten, Eerke, 1966-....
Boiten, Eerke A.
Boiten, Eerke A. (Eerke Albert), 1966-
Boiten, E A
Boiten, Eerke
Eerke Albert Boiten Ph.D. Katholieke Universiteit Nijmegen 1992
VIAF ID: 34710225 ( Personal )
Permalink: http://viaf.org/viaf/34710225
Preferred Forms
- 200 _ | ‡a Boiten ‡b Eerke A.
- 100 1 _ ‡a Boiten, E A
-
-
-
-
- 100 1 _ ‡a Boiten, Eerke ‡d 1966-
-
- 100 1 _ ‡a Boiten, Eerke, ‡d 1966-
-
- 100 1 _ ‡a Boiten, Eerke, ‡d 1966-....
- 100 0 _ ‡a Eerke Albert Boiten ‡c Ph.D. Katholieke Universiteit Nijmegen 1992
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Factorisation of the factorial : an algorithm discovered by playing with transformations | |
IFM 2004 | |
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings | |
Inverting the flow of computation | |
The many disguises of accumulation | |
Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings | |
MPC 2002 | |
Nested collections and polytypism | |
Parsing in ISBES | |
Refinement in Z and Object-Z : foundations and advanced applications | |
Transformational derivation of (parallel) programs using skeletons |