Completeness of combinations of constructor systems

Authors:
Aart Middeldorp;Yoshihito Toyama
Affiliations:
-;-
Venue:
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Year:
1991

Citing 0
Cited 3

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

Journal of the ACM (JACM)
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Modular access control via strategic rewriting

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract