Descendants and origins in term rewriting

Thumbnail Image

Files

Primary 18768_descanori.pdf (853.1 KB)

Date

1999

Authors

Bethke, I.
Klop, J.W.
Vrijer, R. de

Journal Title

Journal ISSN

Volume Title

Publisher

Nijmegen : Catholic University Nijmegen, Computing Science Institute

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/18768

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By