Pages that link to "Item:Q1326777"
From MaRDI portal
The following pages link to Structured theory presentations and logic representations (Q1326777):
Displayed 17 items.
- Functorial semantics of first-order views (Q344796) (← links)
- A scalable module system (Q391632) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- The practice of logical frameworks (Q5878905) (← links)