scientific article; zbMATH DE number 3819693
From MaRDI portal
Publication:3666827
Cited in
(86)- Parametrised complexity of satisfiability in temporal logic
- Lower bounds for invariant queries in logics with counting.
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Logical aspects of Cayley-graphs: the group case
- An existential locality theorem
- Gadget construction and structural convergence
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
- Analysis and application of adaptive sampling
- Infinitary logics and 0-1 laws
- Expressive power of SQL.
- Inherent complexity of recursive queries
- A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures
- Local properties of query languages
- Computing with graph rewriting systems with priorities
- Iterating on multiple collections in synchrony
- First-Order Model-Checking in Random Graphs and Complex Networks
- Expressive power of entity-linking frameworks
- Model-checking hierarchical structures
- An optimal construction of Hanf sentences
- On testability of first-order properties in bounded-degree graphs and connections to proximity-oblivious testing
- A technique for proving decidability of containment and equivalence of linear constraint queries
- Logical limit laws for minor-closed classes of graphs
- Compound logics for modification problems
- Verifiable properties of database transactions
- Query languages for bags and aggregate functions
- Finitely representable databases
- scientific article; zbMATH DE number 7561479 (Why is no real title available?)
- Queries with arithmetical constraints
- Infinitary logic for computer science
- Conversation and games
- Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
- A logical approach to locality in pictures languages
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- Non-parametric learning of embeddings for relational data using Gaifman locality theorem
- Enumeration for FO Queries over Nowhere Dense Graphs
- Language games
- Towards a language theory for infinite N-free pomsets.
- An algorithmic meta-theorem for graph modification to planarity and FOL
- Computational complexity of logical theories of one successor and another unary function
- The parameterized complexity of k-edge induced subgraphs
- Constructing decidable graphs from decidable structures
- Locality and modular Ehrenfeucht-Fraïssé games
- On winning strategies in Ehrenfeucht-Fraïssé games
- Expressive power of existential first-order sentences of Büchi's sequential calculus
- On the power of tree-walking automata.
- First-order spectra with one variable
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- Conjunctive-query containment and constraint satisfaction
- Shrinking games and local formulas
- Generalized quantifiers and pebble games on finite structures
- Efficient First-Order Model-Checking Using Short Labels
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
- Learning concepts described by weight aggregation logic
- An intensional expressiveness gap of comprehension syntax
- First-order limits, an analytical perspective
- Gaifman normal forms for counting extensions of first-order logic
- An algorithmic meta-theorem for graph modification to planarity and FOL
- First-order Logic with Connectivity Operators
- Guarded hybrid team logics
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- Modal and guarded characterisation theorems over finite transition systems
- Modal characterisation theorems over special classes of frames
- Describing parameterized complexity classes
- On classes of bounded tree rank, their interpretations, and efficient sparsification
- A unified approach to structural limits and limits of graphs with bounded tree-depth
- Logic, semigroups and automata on words
- Model checking on interpretations of classes of bounded local cliquewidth
- When locality meets preservation
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
- On the existential fragments of local first-order logics with data
- On the complexity of reasoning about opinion diffusion under majority dynamics
- Learning concepts definable in first-order logic with counting
- Compositional entailment checking for a fragment of separation logic
- Incremental recomputation in local languages.
- Modeling limits in hereditary classes: reduction and application to trees
- Characterizations of two basic hybrid logics
- Reachability and the power of local ordering
- Probabilities of First-Order Sentences about Unary Functions
- Monadic partition logics and finite automata
- Convergence in homogeneous random graphs
- Elementary first-order model checking for sparse graphs
- Enumerating answers to first-order queries over databases of low degree
- Solutions and query rewriting in data exchange
- Finite automata for efficient graph recognition
- Existence of modeling limits for sequences of sparse structures
- On the expressive power of counting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666827)
