Ask a question or
Order this book


Browse our books
Search our books
Book dealer info



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