Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

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

ISSN: 1573-0670,  0168-7433

Année de publication: 2018

Volumen: 60

Número: 4

Pages: 421-463

Type: Article

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

Objectifs de Développement Durable

La source de données: Scopus