(Heterogeneous) structured specifications in logics without interpolation

From MaRDI portal

Publication:6599623

Jump to:navigation, search

DOI10.1007/978-3-319-97879-6_16zbMath1544.03027MaRDI QIDQ6599623

Carlos G. López Pombo, Marcelo F. Frias

Publication date: 6 September 2024

zbMATH Keywords

institutions heterogeneous specifications structured specifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44) Interpolation, preservation, definability (03C40)

This page was built for publication: (Heterogeneous) structured specifications in logics without interpolation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6599623&oldid=40153294"