The following pages link to (Q4362725):
Displaying 9 items.
- Syntactic structures and recursive devices: a legacy of imprecision (Q438595) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- (Q4638077) (← links)
- (Q5091133) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)
- Forbidden induced subgraphs and the Łoś-Tarski theorem (Q6545087) (← links)