Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287493
@@ Property / cites work: Q4287493 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperresolution and automated model building
@@ Property / cites work: Hyperresolution and automated model building / rank @@
+Normal rank
@@ Property / cites work @@
+Negation elimination in empty or permutative theories
+Normal rank
@@ Property / cites work @@
+Working with ARMs: Complexity results on atomic representations of Herbrand models
+Normal rank
@@ Property / cites work @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035222
@@ Property / cites work: Q4035222 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+On inductive inference of cyclic structures
@@ Property / cites work: On inductive inference of cyclic structures / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263159
@@ Property / cites work: Q4263159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723900
@@ Property / cites work: Q2723900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754181
@@ Property / cites work: Q2754181 / rank @@
+Normal rank
@@ Property / cites work @@
+The negation elimination from syntactic equational formula is decidable
+Normal rank
@@ Property / cites work @@
+An improved lower bound for the elementary theories of trees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853582