Hybridisation at work

DOI10.1007/978-3-642-40206-7_28zbMATH Open1396.68113OpenAlexW2258702216MaRDI QIDQ2848960FDOQ2848960

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

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

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)

Cited In (5)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Title not available (Why is that?)
• Encoding hybridized institutions into first-order logic
• Hybridisation of Institutions in HETS (Tool Paper).
• Refinement in hybridised institutions

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)