Constructor-Based Institutions
From MaRDI portal
Publication:2888501
DOI10.1007/978-3-642-03741-2_27zbMath1239.68043MaRDI QIDQ2888501
Kazuhiro Ogata, Kokichi Futatsugi, Daniel Găină
Publication date: 1 June 2012
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_27
Uses Software