Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

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

ISSN: 1573-0670,  0168-7433

Year of publication: 2018

Volume: 60

Issue: 4

Pages: 421-463

Type: Article

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

Sustainable development goals

Data source: Scopus