Constructing Bachmair-Ganzinger Models (Q4916082): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-37651-1_12
+Normal rank
@@ Property / OpenAlex ID @@
+W84077869
@@ Property / OpenAlex ID: W84077869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated complexity analysis based on ordered resolution
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution methods for the decision problem
@@ Property / cites work: Resolution methods for the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767012
@@ Property / cites work: Q2767012 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae
+Normal rank