Complexity analysis of term-rewriting systems

Authors:
C. Choppy;S. Kaplan;M. Soria
Affiliations:
-;-;-
Venue:
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
Year:
1989

Citing 0
Cited 3

Using Term Rewriting to Verify Software

IEEE Transactions on Software Engineering
Characterizing languages by normalization and termination in string rewriting

DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
On counting untyped lambda terms

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract