Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para associativity commutativity and identity

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Tutorial)

This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in order-sorted unification modulo a finite variant theory, and (iv) symbolic reachability modulo a finite variant theory.

Autores: Francisco Durán / Steven Eker / Santiago Escobar / Narciso Martí-Oliet / José Meseguer / Carolyn Talcott / 
Palabras Clave: associativity commutativity and identity - Maude - narrowing - Order-sorted - unification

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada