Generalized Sufficient Conditions for Modular Termination of Rewriting

Authors:
Bernhard Gramlich
Affiliations:
-
Venue:
Proceedings of the Third International Conference on Algebraic and Logic Programming
Year:
1992

Citing 0
Cited 4

Quasi-interpretation synthesis by decomposition an application to higher-order programs

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Modular access control via strategic rewriting

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Abstract Relations Between Restricted Termination And Confluence Properties Of Rewrite Systems

Fundamenta Informaticae
Simplification Orderings: History Of Results

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract