„First-order logic“
Suchergebnisse
1.000+ Treffer
-
On the Automated Verification of Web Applications with Embedded SQL
-
On Invariant Formulae of First-Order Logic with Numerical Predicates
-
First order logic revisited
-
Compound Logics for Modification Problems
-
A calculus for first order Discourse Representation Structures
-
The number of proof lines and the size of proofs in first order logic
-
Learning Aggregate Queries Defined by First-Order Logic with Counting
-
On the VC Dimension of First-Order Logic with Counting and Weight Aggregation
-
Learning Concepts Described By Weight Aggregation Logic
-
Applied Logic for Computer Scientists – Computational Deduction and Formal Proofs
-
Logic and Structure
-
First-Order Aboutness Theory
-
First-Order Representationalist Panqualityism
-
A Canonical Model for Constant Domain Basic First-Order Logic
-
An infrastructure for context-awareness based on first order logic
-
Relevance via Topicality in First Order Logics
-
Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification
-
Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems
-
Complexity of Normal Forms on Structures of Bounded Degree
-
Anchoring Symbols to Percepts in the Fluent Calculus