scientific article; zbMATH DE number 3590511
From MaRDI portal
Publication:4159542
zbMath0379.20046MaRDI QIDQ4159542
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Free semigroups, generators and relations, word problems (20M05) Word problems, etc. in computability and recursion theory (03D40) Algorithms in computer science (68W99)
Related Items (26)
Unification in partially commutative semigroups ⋮ Non-structural subtype entailment in automata theory ⋮ Dominance constraints in stratified context unification ⋮ Associative-commutative unification ⋮ Unification problems with one-sided distributivity ⋮ History and basic features of the critical-pair/completion procedure ⋮ 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 ⋮ Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups ⋮ On equations in free monoids and semigroups with restrictions on solutions ⋮ Finding patterns common to a set of strings ⋮ Languages with homomorphic replacements ⋮ A polynomial algorithm for solving systems of two linear diophantine equations ⋮ Coding in the existential theory of concatenation ⋮ Sur la détermination du rang d'une équation dans le monoide libre ⋮ Discontinuities in pattern inference ⋮ Complete κ-reducibility of pseudovarieties of the form DRH ⋮ A partial solution for D-unification based on a reduction to AC 1-unification ⋮ Learning elementary formal systems ⋮ Periodicity forcing words ⋮ The undecidability of the second order predicate unification problem ⋮ Unification in commutative theories ⋮ Complete sets of unifiers and matchers in equational theories ⋮ ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ ⋮ On rewrite constraints and context unification ⋮ On one-relator groups and units of special one-relation inverse monoids
This page was built for publication:
