Primal grammars and unification modulo a binary clause (Q5210779): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1533234552
@@ Property / OpenAlex ID: W1533234552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264713
@@ Property / cites work: Q4264713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036550
@@ Property / cites work: Q4036550 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite representations of infinite sequences of terms
+Normal rank
@@ Property / cites work @@
+On unification of terms with integer exponents
@@ Property / cites work: On unification of terms with integer exponents / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of nonterminating queries for a restricted class of PROLOG-clauses
+Normal rank
@@ Property / cites work @@
+Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
+Normal rank
@@ Property / cites work @@
+Q4281507
@@ Property / cites work: Q4281507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942617
@@ Property / cites work: Q4942617 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of infinite sets of terms schematized by primal grammars
+Normal rank
@@ Property / cites work @@
+Satisfiability of the smallest binary program
@@ Property / cites work: Satisfiability of the smallest binary program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246728
@@ Property / cites work: Q4246728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230359
@@ Property / cites work: Q4230359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255518
@@ Property / cites work: Q4255518 / rank @@
+Normal rank
@@ Property / cites work @@
+Implication of clauses is undecidable
@@ Property / cites work: Implication of clauses is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient loop detection in prolog using the tortoise-and-hare technique
+Normal rank
@@ Property / cites work @@
+Q2914641
@@ Property / cites work: Q2914641 / rank @@
+Normal rank