abstract rewriting system
Sign in to saveAlso known as ARS, term rewriting system
formal system for transcribing expressions into equivalent terms
Also known as ARS, term rewriting system
formal system for transcribing expressions into equivalent terms