1996-05-13
Confluence and normalisation for higher-order rewriting
Publication
Publication
Additional Metadata | |
---|---|
J.W. Klop (Jan Willem) | |
Vrije Universiteit Amsterdam | |
Organisation | Specification and Analysis of Embedded Systems |
van Raamsdonk, F. (1996, May 13). Confluence and normalisation for higher-order rewriting. |