Generalized Sufficient Conditions for Modular Termination of Rewriting (1992)

by Bernhard Gramlich
Venue:IN ENGINEERING, COMMUNICATION AND COMPUTING
Citations:49 - 7 self

Document Versions

Generalized Sufficient Conditions for Modular Termination of Rewriting –Bernhard Gramlich — 1992 — IN ENGINEERING, COMMUNICATION AND COMPUTING
Generalized Sufficient Conditions for Modular Termination of Rewriting –Bernhard Gramlich — 1992 — in Engineering, Communication and Computing