abstract rewriting system

formal system for transcribing expressions into equivalent terms

Categories: