scientific article
From MaRDI portal
Publication:3819978
zbMath0667.68030MaRDI QIDQ3819978
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
resolutionimplementationconditional term rewriting systemsconditional narrowing algorithmhierarchical algebraic specifications
Related Items (1)
This page was built for publication: