The following pages link to (Q3673087):
Displaying 4 items.
- Data types over multiple-valued logics (Q752687) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)