Pages that link to "Item:Q688663"
From MaRDI portal
The following pages link to Finite-model theory -- A personal perspective (Q688663):
Displaying 29 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Subtournaments isomorphic to \(W_5\) in a indecomposable tournament (Q424734) (← links)
- On the expressive power of counting (Q672336) (← links)
- Computing with infinitary logic (Q672337) (← links)
- The complexity of reasoning with FODD and GFODD (Q900300) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- First-order spectra with one binary predicate (Q1350533) (← links)
- Query languages for bags and aggregate functions (Q1376407) (← links)
- Finitely representable databases (Q1376408) (← links)
- A query language for NC (Q1376409) (← links)
- Metafinite model theory (Q1383163) (← links)
- A probabilistic view of Datalog parallelization (Q1389447) (← links)
- 0-1 laws by preservation (Q1390939) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Closure properties of locally finite \(\omega\)-languages (Q1885033) (← links)
- Computability by monadic second-order logic (Q2656341) (← links)
- On the Variable Hierarchy of First-Order Spectra (Q2957699) (← links)
- Asymptotic invariants, complexity of groups and related problems (Q3143713) (← links)
- Almost everywhere elimination of probability quantifiers (Q3655247) (← links)
- Probabilities in first—order logic of a unary function and a binary relation (Q4697808) (← links)
- Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (Q5071539) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Günter Asser (1926–2015) (Q5258474) (← links)
- Descriptive complexity of finite structures: Saving the quantifier rank (Q5718668) (← links)
- A Decidable Class of Nested Iterated Schemata (Q5747768) (← links)
- Locally finite languages (Q5941071) (← links)
