The following pages link to (Q3773301):
Displaying 31 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Equational type logic (Q752689) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Universal algebras (Q1173984) (← links)
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- CSP, partial automata, and coalgebras. (Q1603814) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- On an essentially algebraic theory for locally presentable categories (Q2502182) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS (Q3356347) (← links)
- Initial Algebra Semantics Is Enough! (Q3612632) (← links)
- (Q3621465) (← links)
- Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
