Associative unification in Maude

Semantic unification has been much studied since the early days of automated reasoning, and theories such as commutativity and associativity-commutativity (AC) have been built into a number of theorem provers and term rewriting engines. Associativity, which captures the notion of lists, might be con...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of logical and algebraic methods in programming Vol. 126; p. 100747
Main Author:	Eker, Steven
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.04.2022
Subjects:	Associativity Maude Semigroup Unification Maude Semigroup Associativity Unification
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!