Canonical Inference for Implicational Systems (Q3541718): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-71070-7_33
+Normal rank
@@ Property / OpenAlex ID @@
+W1593536380
@@ Property / OpenAlex ID: W1593536380 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational inference, canonical proofs, and proof orderings
+Normal rank
@@ Property / cites work @@
+Q4667609
@@ Property / cites work: Q4667609 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract canonical inference
@@ Property / cites work: Abstract canonical inference / rank @@
+Normal rank
@@ Property / cites work @@
+On rewrite programs: Semantics and relationship with prolog
+Normal rank
@@ Property / cites work @@
+Towards a foundation of completion procedures as semidecision procedures
+Normal rank
@@ Property / cites work @@
+Q2741274
@@ Property / cites work: Q2741274 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with rewrite systems
@@ Property / cites work: Computing with rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence, Uniqueness, and Construction of Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Exact knowledge compilation in predicate calculus: The partial achievement case
+Normal rank
@@ Property / cites work @@
+Q4443440
@@ Property / cites work: Q4443440 / rank @@
+Normal rank