Algorithmic term rewriting systems
By: Ariya Isihara
Publisher: VU University Press
Published: 2010
Place of publication: [Amsterdam]
Language: eng
Number of pages: 127
ISBN-13: 9789086594429
Notes: Proefschrift Amsterdam, VU.

Met lit.opg.

Met samenvatting in het Nederlands.