Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added this comment after the definition:
So this is a concept with an attitude: While an abstract re-writing system is just a relation, calling this relation an abstract rewriting system indicates that one is interested in studying the behaviour of chains of related elements (thought of as successive stages of rewriting ), for instance to see if they are confluent.
[spam message deleted by administrator]
3 seems to be a commercial SPAM.
1 to 4 of 4