The following pages link to (Q3042444):
Displaying 14 items.
- A set-theoretic semantics for Clear (Q791329) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Logic representation in LF (Q5096264) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)