## Found 25 Documents (Results 1–25)

100
MathJax

Full Text:

### Duality and the equational theory of regular languages. (English)Zbl 1302.08010

De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 107-118 (2012).

### Algebraic constructions of solutions for the translation equation. (English)Zbl 1221.39033

Lecture Notes in Nonlinear Analysis 11. Toruń: Nicolaus Copernicus University, Juliusz Schauder Center for Nonlinear Studies. 70 p. (2010).

Full Text:

Full Text:

Full Text:

### Word equations over graph products. (English)Zbl 1188.20066

Pandya, Paritosh K. (ed.) et al., FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20680-9/pbk). Lect. Notes Comput. Sci. 2914, 156-167 (2003).
Full Text:

Full Text:

### Rational sets in finitely generated nilpotent groups. (Russian, English)Zbl 1054.20015

Algebra Logika 39, No. 4, 379-394 (2000); translation in Algebra Logic 39, No. 4, 215-223 (2000).
Full Text:

### Geometric notes on monoids. (English)Zbl 0964.20037

MSC:  20M14 20M05 51A25
Full Text:

Full Text:

### Functions for parametrization of solutions of an equation in a free monoid. (English)Zbl 0943.20056

MSC:  20M05 03D40
Full Text:

### On the size of independent systems of equations in semigroups. (English)Zbl 0877.20039

MSC:  20M05 20M35 20F10
Full Text:

Full Text:

### Iterated substitutions and locally catenative systems: A decidability result in the binary case. (English)Zbl 0766.68072

Lindenmayer systems. Impacts on theoretical computer science, computer graphics, and developmental biology, 49-92 (1992).
MSC:  68Q45 20M05 20M35

### Equations over finite sets of words and equivalence problems in automata theory. (English)Zbl 0900.20106

Ito, Masami (ed.), Words, languages and combinatorics, Kyoto, Japan, August 28–31, 1990. Singapore: World Scientific. 233-250 (1992).

### Iterated substitutions and locally catenative systems: A decidability result in the binary case. (English)Zbl 0765.68069

Automata, languages and programming, Proc. 17th Int. Colloq., Warwick/GB 1990, Lect. Notes Comput. Sci. 443, 490-500 (1990).
MSC:  68Q45

### Unification in abelian semigroups. (English)Zbl 0637.68106

Reviewer: N.Curteanu
MSC:  68T15 03B35 20M35 11D04
Full Text:

### The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids. (English)Zbl 0546.68060

Reviewer: C.V.Crǎciun
MSC:  68Q45 20M05 20M35
Full Text:

### An elimination method for finding all solutions of the system of linear equations over an extremal algebra. (English)Zbl 0545.90101

Èkon.-Mat. Obz. 20, 203-215 (1984).
Reviewer: U.Zimmermann

### On the equality sets for homomorphisms on free monoids with two generators. (English)Zbl 0454.20048

MSC:  20M05 68Q45

### A fixed-point approach to contextual languages. (English)Zbl 0447.68090

MSC:  68Q45 20M35

all top 5

all top 3