On the relation between context and sequence unification (Q1034550): Difference between revisions

@@ Property / describes a project that uses @@
+Veriflog
@@ Property / describes a project that uses: Veriflog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLP(Flex)
@@ Property / describes a project that uses: CLP(Flex) / rank @@
+Normal rank
@@ 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.1016/j.jsc.2009.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2127450094
@@ Property / OpenAlex ID: W2127450094 / rank @@
+Normal rank
@@ Property / cites work @@
+A tight, practical integration of relations and functions.
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259965
@@ Property / cites work: Q4259965 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Makanin's algorithm
@@ Property / cites work: Complexity of Makanin's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808726
@@ Property / cites work: Q4808726 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving equations with sequence variables and sequence functions
+Normal rank
@@ Property / cites work @@
+Sequence Unification Through Currying
@@ Property / cites work: Sequence Unification Through Currying / rank @@
+Normal rank
@@ Property / cites work @@
+Matching with Regular Constraints
@@ Property / cites work: Matching with Regular Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Linear second-order unification
@@ Property / cites work: Linear second-order unification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778877
@@ Property / cites work: Q2778877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808756
@@ Property / cites work: Q4808756 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Foundations of the rule-based system ρLog
@@ Property / cites work: Foundations of the rule-based system ρLog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428308
@@ Property / cites work: Q4428308 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Aspects of Computational Linguistics
@@ Property / cites work: Logical Aspects of Computational Linguistics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3151169
@@ Property / cites work: Q3151169 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Algorithm for Stratified Context Unification
+Normal rank
@@ Property / cites work @@
+Q3838760
@@ Property / cites work: Q3838760 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear and stratified context matching problems
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1034550