Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
From MaRDI portal
Publication:1276501
DOI10.1007/3-540-49253-4zbMath0906.00024OpenAlexW4206441295MaRDI QIDQ1276501
Publication date: 28 January 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-49253-4
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Observational logic, constructor-based logic, and their duality., Constructor-based observational logic, Closure properties for the class of behavioral models, Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach