On the data type extension problem for algebraic specifications
From MaRDI portal
Publication:801668
DOI10.1016/0304-3975(85)90022-2zbMath0552.68013OpenAlexW2022857347MaRDI QIDQ801668
Publication date: 1985
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(85)90022-2
Related Items (1)
Cites Work
This page was built for publication: On the data type extension problem for algebraic specifications