The following pages link to (Q3216138):
Displaying 8 items.
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Propositional dynamic logic with local assignments (Q1062972) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- On the expressive power of data dependencies (Q1822528) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- (Q3325077) (← links)