„quantifiers“
Suchergebnisse
314 Treffer
-
Prosodic Focus Effects on Covert “Only” Reading of Scalar Quantifiers in Autistic and Non-autistic Children Under Tonal Language Background
-
Answering Conjunctive Queries and FO+MOD Queries under Updates
-
QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION
-
Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence
-
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
-
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn
-
First-Order Logic with Equicardinality in Random Graphs
-
On Homogeneous Models of Fluted Languages
-
Decidability and generalized quantifiers
-
Quantifiers Closed Under Partial Polymorphisms
-
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words
-
The Expressive Power of CSP-Quantifiers
-
On the Number of Quantifiers as a Complexity Measure
-
On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics
-
Fluted Logic with Counting
-
Game Comonads & Generalised Quantifiers
-
Extending Propositional Separation Logic for Robustness Properties
-
Consistency for Counting Quantifiers
-
Modulo Counting on Words and Trees
-
The Model-Theoretic Expressiveness of Propositional Proof Systems