Searching for "On the First-Order Logic of Terms." – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Storage and Retrieval of First Order Logic
- …Storage and Retrieval of First Order Logic Terms in a Database Peter Gursk´y Department…
- Add To MetaCart
-
Probabilistic Reasoning With Terms
- … structured objects by first-order logic terms (lists, trees, tuples, and nestings thereof) and higher-order…
- Cited by 2 (2 self) – Add To MetaCart
-
Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving
- … valid extension of both feature structures and regular first order logic terms. We then prove…
- Cited by 2 (0 self) – Add To MetaCart
-
Program Extraction for Full Linear Logic
- … for full first-order linear logic, 2. introduce Curry--Howard--style terms for this version of linear logic…
- Add To MetaCart
-
On the Constant-Depth Complexity of k-Clique
- …, via the well-known descriptive complexity characterization of first-order logic in terms…
- Add To MetaCart
-
Complete Axiomatizations for Quantum Actions
- … (based on the work of [25, 2, 23, 30]) are not given in first-order logical terms, but they make…
- Cited by 1 (1 self) – Add To MetaCart
-
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL
- … in first-order logic in terms of R, R + , and (x; y). Thus transitive closure can be decrementally…
- Cited by 14 (9 self) – Add To MetaCart
-
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL
- … in first-order logic in terms of R, R + , and (x; y). Thus transitive closure can be decrementally…
- Add To MetaCart
-
Herbrand's Theorem for a Modal Logic
- … to be that of classical first-order logic, with terms built up from variables, constant and function symbols, but allowing…
- Cited by 1 (0 self) – Add To MetaCart
-
Local Extent in Diagrams
- … are regarded as alternatives to textual forms conventional to first-order logic (terms, formulas, etc…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
