Associative unification and symbolic reasoning modulo associativity in maude
- Durán, F.
- Eker, S.
- Escobar, S.
- Martí-Oliet, N.
- Meseguer, J.
- Talcott, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319998398
Argitalpen urtea: 2018
Alea: 11152 LNCS
Orrialdeak: 98-114
Mota: Biltzar ekarpena