The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques

From MaRDI portal
Publication:2228436

DOI10.1007/s10817-020-09542-3zbMath1459.68092OpenAlexW2999233193WikidataQ126346956 ScholiaQ126346956MaRDI QIDQ2228436

Raúl Gutiérrez, José Meseguer, Salvador Lucas

Publication date: 17 February 2021

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-020-09542-3




Related Items (3)


Uses Software


Cites Work




This page was built for publication: The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques