Second-Order Term Rewriting Specification of Static Semantics: An Exercise

Publisher Website

1 September 1996

book chapter
Published by World Scientific Pub Co Pte Ltd

p. 295-305
https://doi.org/10.1142/9789812830043_0008

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: