Pages that link to "Item:Q703863"
From MaRDI portal
The following pages link to Finite model theory and its applications. (Q703863):
Displaying 10 items.
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)
- Canonisation and Definability for Graphs of Bounded Rank Width (Q5875948) (← links)
- A general condition for collapse results (Q5957919) (← links)
- Inductive definitions in logic versus programs of real-time cellular automata (Q6122593) (← links)
- A simple logic of concepts (Q6156201) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6563045) (← links)
- On the descriptive complexity of temporal constraint satisfaction problems (Q6567262) (← links)
- A logical limit law for \(231\)-avoiding permutations (Q6606908) (← links)
- Logical characterizations of algebraic circuit classes over integral domains (Q6620024) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6649515) (← links)