The following pages link to (Q3204056):
Displayed 22 items.
- Rewriting extended regular expressions (Q673635) (← links)
- Interpretations of recursively defined types (Q685350) (← links)
- Equational type logic (Q752689) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- An Action Semantics Based on Two Combinators (Q3184751) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
- Exception handling and term labelling (Q5044752) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Unified Algebras and action semantics (Q5096140) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)