scientific article; zbMATH DE number 1158756
From MaRDI portal
Publication:4391447
zbMath0900.68139MaRDI QIDQ4391447
Donald W. Loveland, Gopalan Nadathur
Publication date: 3 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation
This page was built for publication:
