Using resolution for deciding solvable classes and building finite models (Q4560350): Difference between revisions

@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution Strategies as Decision Procedures
@@ Property / cites work: Resolution Strategies as Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On Different Concepts of Resolution
@@ Property / cites work: On Different Concepts of Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Q5523671
@@ Property / cites work: Q5523671 / rank @@
+Normal rank
@@ Property / cites work @@
+The inverse method for establishing deducibility for logical calculi
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Condensed detachment is complete for relevance logic: A computer-aided proof
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q3348885
@@ Property / cites work: Q3348885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829089
@@ Property / cites work: Q3829089 / rank @@
+Normal rank
@@ Property / cites work @@
+On a bound for the complexity of terms in the resolution method
+Normal rank
@@ Property / cites work @@
+Maslov's inverse method and decidable classes
@@ Property / cites work: Maslov's inverse method and decidable classes / rank @@
+Normal rank