Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996
From MaRDI portal
Publication:1379286
zbMath0885.00046MaRDI QIDQ1379286
No author found.
Publication date: 25 February 1998
Published in: Applied Logic Series (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03B99)
Related Items
Towards the Mathematics Software Bus ⋮ Editors' introduction to the special issue on combining logics ⋮ \({\mathcal E}\)-connections of abstract description systems
