Hierarchical Contextual Rewriting with Several Levels

Authors:
Wadoud Bousdira;Jean-Luc Remy
Affiliations:
-;-
Venue:
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Year:
1988

Citing 0
Cited 2

An OBJ3 functional specification for boundary representation

SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Equational rules for rewriting logic

Theoretical Computer Science - Rewriting logic and its applications

Quantified Score

Hi-index	0.00

Visualization

Abstract