Pages that link to "Item:Q2369030"
From MaRDI portal
The following pages link to Constructor-based observational logic (Q2369030):
Displaying 27 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
