On the relation between context and sequence unification

DOI10.1016/J.JSC.2009.07.001zbMATH Open1194.68224OpenAlexW2127450094MaRDI QIDQ1034550FDOQ1034550

Authors: Temur Kutsia, Jordi Levy, Mateu Villaret 

Publication date: 6 November 2009

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2009.07.001

Recommendations

• scientific article; zbMATH DE number 3995082
• On the semantics of unification grammars
• Sequentiality of string-to-context transducers
• Unification and matching in hierarchical combinations of syntactic theories
• Automated Deduction – CADE-20
• Sequence graphs realizations and ambiguity in language models
• On Context-Tree Prediction of Individual Sequences
• Contextual generalized sequential machines
• Deciding context unification (with regular constraints)

zbMATH Keywords

context unificationsequence unificationword unification

Mathematics Subject Classification ID

Knowledge representation (68T30) Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Minimal and complete word unification
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Complexity of Makanin's algorithm
• Makanin's algorithm for word equations-two improvements and a generalization
• Title not available (Why is that?)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Solving equations with sequence variables and sequence functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Matching with Regular Constraints
• Sequence Unification Through Currying
• Title not available (Why is that?)
• A Decision Algorithm for Stratified Context Unification
• Linear second-order unification
• Automated Deduction – CADE-20
• Logical Aspects of Computational Linguistics
• The complexity of linear and stratified context matching problems
• A tight, practical integration of relations and functions.
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Anti-unification for unranked terms and hedges
• Unranked Nominal Unification
• Sequence Unification Through Currying
• Regular expression order-sorted unification and matching
• Efficient Contextual Unfolding

Uses Software

• Mathematica
• Theorema
• Veriflog
• CLP(Flex)

This page was built for publication: On the relation between context and sequence unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1034550)