Hybridisation at Work

DOI10.1007/978-3-642-40206-7_28zbMath1396.68113OpenAlexW2258702216MaRDI QIDQ2848960

Renato Neves, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Publication date: 13 September 2013

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-40206-7_28

zbMATH Keywords

institutionsreconfigurable systemshybrid logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Hybridisation of Institutions in HETS (Tool Paper). ⋮ Encoding hybridized institutions into first-order logic ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Refinement in hybridised institutions

This page was built for publication: Hybridisation at Work