The following pages link to Coinduction for preordered algebra (Q627121):
Displaying 5 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
