Skip to main content
Article thumbnail
Location of Repository

Bohm-Like Trees for Rewriting

By J. Ketema

Abstract

Klop, J.W. [Promotor

Topics: Bohm-like trees for rewriting, herschrijven, denotationele semantiek
Publisher: Amsterdam: Vrije Universiteit
Year: 2006
OAI identifier: oai:dare.ubvu.vu.nl:1871/9203
Provided by: DSpace at VU

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.