Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

  1. Aguirre, L.
  2. Martí-Oliet, N.
  3. Palomino, M.
  4. Pita, I.
Revista:
Journal of Automated Reasoning

ISSN: 1573-0670 0168-7433

Año de publicación: 2018

Volumen: 60

Número: 4

Páginas: 421-463

Tipo: Artículo

DOI: 10.1007/S10817-017-9417-5 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible