The following pages link to (Q3204056):
Displayed 9 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)