The following pages link to (Q3230355):
Displaying 50 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Isometric uniqueness of a complementably universal Banach space for Schauder decompositions (Q380310) (← links)
- Automatic models of first order theories (Q387121) (← links)
- Solutions and query rewriting in data exchange (Q388220) (← links)
- Inherent complexity of recursive queries (Q696953) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- Computational complexity of determining which statements about causality hold in different space-time models (Q949614) (← links)
- Ramsey properties for classes of relational systems (Q1076045) (← links)
- A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes (Q1162504) (← links)
- The primal framework. II: Smoothness (Q1182429) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- On winning strategies in Ehrenfeucht-Fraïssé games (Q1269907) (← links)
- Counting quantifiers, successor relations, and logarithmic space (Q1362332) (← links)
- Local properties of query languages (Q1575140) (← links)
- The closure of monadic NP (Q1577017) (← links)
- Forcing formulas in Fraïssé structures and classes (Q1731322) (← links)
- Properties of existentially closed companions (Q1757651) (← links)
- Finite information logic (Q1779313) (← links)
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- On winning Ehrenfeucht games and monadic NP (Q1919539) (← links)
- Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile (Q1953475) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Cohen-like first order structures (Q2084963) (← links)
- Hanf numbers for extendibility and related phenomena (Q2144615) (← links)
- Universal decomposed Banach spaces (Q2175554) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Succinct definitions in the first order theory of graphs (Q2368907) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Decomposable graphs and definitions with no quantifier alternation (Q2461780) (← links)
- Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes (Q2540894) (← links)
- The first order definability of graphs with separators via the Ehrenfeucht game (Q2570131) (← links)
- The probability nesting game (Q2842598) (← links)
- An infinitary system for the least fixed-point logic restricted to finite models (Q2866740) (← links)
- The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture (Q2947167) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)
- Countable infinite existentially closed models of universally axiomatizable theories (Q2959166) (← links)
- (Q3265664) (← links)
- Graph Connectivity, Monadic NP and built-in relations of moderate degree (Q4645196) (← links)
- The universal Banach space with a $K$-suppression unconditional basis (Q4683349) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (Q5071539) (← links)
- (Q5090942) (← links)
- A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth (Q5108706) (← links)
- (Q5155668) (← links)
- A Practical Approach to Courcelle's Theorem (Q5170276) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Metrically universal abelian groups (Q5347288) (← links)
