Narrowing and Rewriting Logic: from Foundations to Applications

DOI10.1016/j.entcs.2007.01.004zbMath1279.68205OpenAlexW2156318632MaRDI QIDQ2873786

Could not fetch data.

Publication date: 24 January 2014

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.004

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.