Pages that link to "Item:Q1853454"
From MaRDI portal
The following pages link to Logical systems for structured specifications. (Q1853454):
Displaying 27 items.
- Parameterisation for abstract structured specifications (Q387996) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Structural induction in institutions (Q719243) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Specification and initialization of a logic computer system (Q1076506) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Proof Systems for Institutional Logic (Q3430948) (← links)
- NOTIONAL LOGIC OF SYSTEMS (Q4781419) (← links)
- (Q4804324) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Abstract categorical logic (Q6043096) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
