Date of Award | 30 Apr 1994 |
---|---|
Original language | English |
Supervisor | Frans Kruseman Aretz (Supervisor 1) & Loe M.G. Feijs (Supervisor 2) |
Approximation of preconditions for a programming language with backtracking
Student thesis: Master