scientific article
From MaRDI portal
Publication:3742702
zbMath0605.68017MaRDI QIDQ3742702
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationsterm rewriting systemsbounded nondeterministic choice operatortoy concurrent language
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
