The following pages link to (Q4255575):
Displayed 30 items.
- (Q4453869) (← links)
- Short Monadic Second Order Sentences about Sparse Random Graphs (Q4562315) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- (Q4625692) (← links)
- RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC! (Q4628673) (← links)
- Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (Q4637759) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- Computable Queries for Object Oriented Databases (Q4916216) (← links)
- Expressibility of Higher Order Logics (Q4924534) (← links)
- (Q4972729) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- (Q5005107) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
- Homogeneous 1‐based structures and interpretability in random structures (Q5108085) (← links)
- Random ℓ‐colourable structures with a pregeometry (Q5108087) (← links)
- Logical laws for short existential monadic second-order sentences about graphs (Q5118048) (← links)
- Reversible Regular Languages: Logical and Algebraic Characterisations (Q5158652) (← links)
- A Practical Approach to Courcelle's Theorem (Q5170276) (← links)
- Constraint Satisfaction with Counting Quantifiers (Q5256528) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- CFI Construction and Balanced Graphs (Q5321700) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- Canonisation and Definability for Graphs of Bounded Rank Width (Q5875948) (← links)
- A framework for comparing query languages in their ability to express Boolean queries (Q5919276) (← links)
- Games and Lindström theorems (Q6043095) (← links)