Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

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

ISSN: 1573-0670,  0168-7433

Argitalpen urtea: 2018

Alea: 60

Zenbakia: 4

Orrialdeak: 421-463

Mota: Artikulua

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

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus