scientific article
From MaRDI portal
Publication:3883463
zbMath0441.68015MaRDI QIDQ3883463
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A proof system for conditional algebraic specifications ⋮ On sufficient completeness of conditional specifications ⋮ On ground-confluence of term rewriting systems ⋮ Algebraic implementation of abstract data types ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Semantics of algorithmic languages ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
This page was built for publication:
