Pages that link to "Item:Q5741578"
From MaRDI portal
The following pages link to Encoding hybridized institutions into first-order logic (Q5741578):
Displayed 9 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS (Q2237342) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)