Termination for direct sums of left-linear complete term rewriting systems.

Details

Language :

English

ISSN :

00045411

Volume :

42

Issue :

6

Database :

Complementary Index

Journal :

Journal of the ACM

Publication Type :

Academic Journal

Accession number :

73537801

Full Text :

https://doi.org/10.1145/227683.227689