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.68092WikidataQ126346956 ScholiaQ126346956MaRDI QIDQ2228436
Salvador Lucas, José Meseguer, Raúl Gutiérrez
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
Uses Software