Tarskian set constraints (Q1854523): Difference between revisions

@@ Property / author @@
-Robert L. Givan
@@ Property / author: Robert L. Givan / rank @@
-Normal rank
@@ Property / author @@
-David Allen McAllester
@@ Property / author: David Allen McAllester / rank @@
-Normal rank
@@ Property / author @@
+Robert L. Givan
@@ Property / author: Robert L. Givan / rank @@
+Normal rank
@@ Property / author @@
+David Allen McAllester
@@ Property / author: David Allen McAllester / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.2001.2973
+Normal rank
@@ Property / OpenAlex ID @@
+W2099318732
@@ Property / OpenAlex ID: W2099318732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525271
@@ Property / cites work: Q4525271 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of systems of set constraints with negative constraints
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525285
@@ Property / cites work: Q4525285 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Natural language syntax and first-order inference
@@ Property / cites work: Natural language syntax and first-order inference / rank @@
+Normal rank
@@ Property / cites work @@
+Taxonomic syntax for first order inference
@@ Property / cites work: Taxonomic syntax for first order inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028788
@@ Property / cites work: Q4028788 / rank @@
+Normal rank
@@ Property / cites work @@
+A near-optimal method for reasoning about action
@@ Property / cites work: A near-optimal method for reasoning about action / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank