Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)
Recommendations
- scientific article; zbMATH DE number 1324669
- Elements of finite model theory.
- Finite Model Theory
- scientific article; zbMATH DE number 803291
- scientific article; zbMATH DE number 176207
- Some Aspects of Model Theory and Finite Structures
- scientific article; zbMATH DE number 2156368
- scientific article; zbMATH DE number 5038454
- Application of a Tauberian theorem to finite model theory
- Finite mathematics. Models and applications
Cited in
(68)- Decomposing Quantified Conjunctive (or Disjunctive) Formulas
- Two first-order logics of permutations
- Deciding Parity Games in Quasi-polynomial Time
- The Descriptive Complexity of Parity Games
- A dichotomy result for Ramsey quantifiers
- scientific article; zbMATH DE number 7701441 (Why is no real title available?)
- A Logical Approach to Constraint Satisfaction
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- On the descriptive complexity of temporal constraint satisfaction problems
- Characterizing polynomial Ramsey quantifiers
- Fixed-point definability and polynomial time on chordal graphs and line graphs
- Tight lower and upper bounds for the complexity of canonical colour refinement
- scientific article; zbMATH DE number 7577583 (Why is no real title available?)
- Is polynomial time choiceless?
- scientific article; zbMATH DE number 7577575 (Why is no real title available?)
- Computation over algebraic structures and a classification of undecidable problems
- Elements of finite model theory.
- A simple logic of concepts
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
- Games for inclusion logic and fixed-point logic
- Computational Complexity Via Finite Types
- A general condition for collapse results
- A logical approach to locality in pictures languages
- On the complexity of the model checking problem
- Rank logic is dead, long live rank logic!
- scientific article; zbMATH DE number 1324669 (Why is no real title available?)
- Finite Model Theory on Tame Classes of Structures
- A finite-model-theoretic view on propositional proof complexity
- A logical limit law for \(231\)-avoiding permutations
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- Defining recursive predicates in graph orders
- Consistent query answering for primary keys in Datalog
- Finite Model Theory
- The mu-calculus and Model Checking
- Logical characterizations of algebraic circuit classes over integral domains
- A game for linear-time-branching-time spectroscopy
- scientific article; zbMATH DE number 219195 (Why is no real title available?)
- String-to-string interpretations with polynomial-size output
- On Models of a Nondeterministic Computation
- From Hilbert's program to a logic tool box
- On the computation of zone and double zone diagrams
- First-order Logic with Connectivity Operators
- Canonisation and Definability for Graphs of Bounded Rank Width
- scientific article; zbMATH DE number 7561314 (Why is no real title available?)
- scientific article; zbMATH DE number 1540059 (Why is no real title available?)
- Choiceless Logarithmic Space
- Type extension trees for feature construction and learning in relational domains
- Some thoughts on knowledge-enhanced machine learning
- scientific article; zbMATH DE number 6866317 (Why is no real title available?)
- Spectrum of FO logic with quantifier depth 4 is finite
- Quirky quantifiers: optimal models and complexity of computation tree logic
- Coherence and computational complexity of quantifier-free dependence logic formulas
- Some Aspects of Model Theory and Finite Structures
- A logical approach to data-aware automated sequence generation
- The semijoin algebra and the guarded fragment
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
- scientific article; zbMATH DE number 733393 (Why is no real title available?)
- scientific article; zbMATH DE number 7561483 (Why is no real title available?)
- Fixed-Point Definability and Polynomial Time
- Finite model theory
- Descriptive complexity of deterministic polylogarithmic time and space
- About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
- Inductive definitions in logic versus programs of real-time cellular automata
- Choiceless polynomial time on structures with small abelian colour classes
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
- scientific article; zbMATH DE number 2101962 (Why is no real title available?)
- On the complexity of team logic and its two-variable fragment
This page was built for publication: Finite model theory and its applications.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703863)
