Hybridisation at work

DOI10.1007/978-3-642-40206-7_28MaRDI QIDQ2848960zbMATH OpenOpenAlexFDO

Authors Renato Neves, Manuel A. Martins, Alexandre Madeira, L. S. 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

hybrid logicsinstitutionsreconfigurable systems

Mathematics Subject Classification ID

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

Recommendations

• A hybrid encoding of Howe's method for establishing congruence of bisimilarity
• Hybridization of institutions
• Encoding hybridized institutions into first-order logic
• Hybrid Solving Techniques
• Combining semantical and syntactical theory reasoning

Cited in

(5)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Refinement in hybridised institutions
• scientific article; zbMATH DE number 6351503 (Why is no real title available?)
• Encoding hybridized institutions into first-order logic
• Hybridisation of Institutions in HETS (Tool Paper).

This page was built for publication: Hybridisation at work

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848960)