Path indexing for AC-theories (Q4647560): Difference between revisions

@@ 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.1007/3-540-61511-3_124
+Normal rank
@@ Property / OpenAlex ID @@
+W2113202579
@@ Property / OpenAlex ID: W2113202579 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative discrimination nets
@@ Property / cites work: Associative-commutative discrimination nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended path-indexing
@@ Property / cites work: Extended path-indexing / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution tree indexing
@@ Property / cites work: Substitution tree indexing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank