scientific article; zbMATH DE number 3590511
From MaRDI portal
Publication:4159542
Cited in
(27)- Associative-commutative unification
- Unification problems with one-sided distributivity
- History and basic features of the critical-pair/completion procedure
- Finding patterns common to a set of strings
- Languages with homomorphic replacements
- Sur la détermination du rang d'une équation dans le monoide libre
- Learning elementary formal systems
- Unification in partially commutative semigroups
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
- On rewrite constraints and context unification
- Complete sets of unifiers and matchers in equational theories
- Non-structural subtype entailment in automata theory
- The undecidability of the second order predicate unification problem
- Complete κ-reducibility of pseudovarieties of the form DRH
- Coding in the existential theory of concatenation
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- The expressibility of languages and relations by word equations
- A partial solution for D-unification based on a reduction to AC1-unification
- Periodicity forcing words
- On equations and inequalities in words and word lengths
- Unification in commutative theories
- On one-relator groups and units of special one-relation inverse monoids
- On equations in free monoids and semigroups with restrictions on solutions
- On the satisfiability of context-free string constraints with subword-ordering
- Dominance constraints in stratified context unification
- A polynomial algorithm for solving systems of two linear diophantine equations
- Discontinuities in pattern inference
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159542)
