Modular proof systems for partial functions with Evans equality (Q2432764): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2005.10.002
@@ Property / DOI: 10.1016/j.ic.2005.10.002 / 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.1016/j.ic.2005.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2156103760
@@ Property / OpenAlex ID: W2156103760 / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Ordered chaining calculi for first-order theories of transitive relations
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Uniform Word Problems
@@ Property / cites work: Polynomial Time Uniform Word Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Syntacticness, cycle-syntacticness and shallow theories
+Normal rank
@@ Property / cites work @@
+The Word Problem for Abstract Algebras
@@ Property / cites work: The Word Problem for Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddability and the Word Problem
@@ Property / cites work: Embeddability and the Word Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809070
@@ Property / cites work: Q4809070 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Polynomial-time computation via local inference relations
+Normal rank
@@ Property / cites work @@
+On the Existence of Free Structures over Universal Classes
+Normal rank
@@ Property / cites work @@
+Q3838762
@@ Property / cites work: Q3838762 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanization of strong Kleene logic for partial functions
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation of background reasoners in theory reasoning by residue sharing
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Non-Stably Infinite Theories
@@ Property / cites work: Combining Non-Stably Infinite Theories / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2005.10.002
@@ Property / DOI: 10.1016/J.IC.2005.10.002 / rank @@
+Normal rank