On the relation between context and sequence unification
type: Item
instance of: scholarly article
title: On the relation between context and sequence unification
zbMATH Open document ID: 1194.68224
author: Temur Kutsia
author: Jordi Levy
author: Mateu Villaret
published in: Journal of Symbolic Computation
publication date: 2009-11-06T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5626908
zbMATH Keywords: sequence unification
zbMATH Keywords: context unification
zbMATH Keywords: word unification
describes a project that uses: Veriflog
describes a project that uses: Theorema
describes a project that uses: Mathematica
describes a project that uses: CLP(Flex)
MaRDI profile type: Publication
full work available at URL: j.jsc.2009.07.001
OpenAlex ID: W2127450094
cites work: A tight, practical integration of relations and functions.
cites work: \textit{Theorema}: Towards computer-aided mathematical theory exploration
cites work: Q4198056
cites work: Q4259965
cites work: Minimal and complete word unification
cites work: Complexity of Makanin's algorithm
cites work: Q4808726
cites work: Solving equations with sequence variables and sequence functions
cites work: Sequence Unification Through Currying
cites work: Matching with Regular Constraints
cites work: Linear second-order unification
cites work: Automated Deduction – CADE-20
cites work: Q2778877
cites work: Q4808756
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: Foundations of the rule-based system ρLog
cites work: Q4428308
cites work: Logical Aspects of Computational Linguistics
cites work: Q3151169
cites work: A Decision Algorithm for Stratified Context Unification
cites work: Q3838760
cites work: The complexity of linear and stratified context matching problems
cites work: Makanin's algorithm for word equations-two improvements and a generalization
DOI: 10.1016/J.JSC.2009.07.001
Recommended article: Q4721668
Recommended article: On the semantics of unification grammars
Recommended article: Q5092330
Recommended article: Unification and Matching in Hierarchical Combinations of Syntactic Theories
Recommended article: Automated Deduction – CADE-20
Recommended article: Sequence graphs realizations and ambiguity in language models
Recommended article: On Context-Tree Prediction of Individual Sequences
Recommended article: Contextual generalized sequential machines
Recommended article: Deciding context unification (with regular constraints)
description: scientific article; zbMATH DE number 5626908