Author: Raamsdonk, Femke van. Title: Confluence and normalisation for higher-order rewriting.
Description: [S.l. : s.n.], 1996. Paperback. iii,212 pp. Proefschrift Vrije Universiteit Amsterdam. Mailorder only - Alleen verzending mogelijk. Book condition : very good.
Keywords: , computer science
Price: EUR 18.00 = appr. US$ 19.56 Seller: Kloof Booksellers & Scientia Verlag
- Book number: %23255943