-
1
-
-
0000833795
-
Undecidability of the identity problem for finite semigroups
-
D. Albert, R. Baldinger and J. Rhodes, Undecidability of the identity problem for finite semigroups, J. Symbolic Logic, 57(1) (1992), 179-192.
-
(1992)
J. Symbolic Logic
, vol.57
, Issue.1
, pp. 179-192
-
-
Albert, D.1
Baldinger, R.2
Rhodes, J.3
-
2
-
-
0013032452
-
The algebra of implicit operations
-
J. Almeida, The algebra of implicit operations, Algebra Universalis 26 (1989), 16-32.
-
(1989)
Algebra Universalis
, vol.26
, pp. 16-32
-
-
Almeida, J.1
-
3
-
-
44949277477
-
Implicit operations on finite script J sign-trivial semigroups and a conjecture of I. Simon
-
J. Almeida, Implicit operations on finite script J sign-trivial semigroups and a conjecture of I. Simon, J. Pure Appl. Algebra 69 (1990), 205-218.
-
(1990)
J. Pure Appl. Algebra
, vol.69
, pp. 205-218
-
-
Almeida, J.1
-
4
-
-
0010535446
-
Finite Semigroups and Universal Algebra
-
World-Scientific
-
J. Almeida, Finite Semigroups and Universal Algebra, Vol. 3 of Series in Algebra, World-Scientific, 1995.
-
(1995)
Series in Algebra
, vol.3
-
-
Almeida, J.1
-
5
-
-
0346104706
-
-
AFL'96, Technical Report 96-9, Universidade do Porto, Portugal, (to appear)
-
J. Almeida, Some algorithmic problems for pseudovarieties, in AFL'96, Technical Report 96-9, Universidade do Porto, Portugal, (to appear).
-
Some Algorithmic Problems for Pseudovarieties
-
-
Almeida, J.1
-
6
-
-
22444455654
-
On the hyperdecidability of semidirect products of pseudovarieties
-
J. Almeida and P. V. Silva, On the hyperdecidability of semidirect products of pseudovarieties, Comm. Algebra 26 (1998), 4065-4077.
-
(1998)
Comm. Algebra
, vol.26
, pp. 4065-4077
-
-
Almeida, J.1
Silva, P.V.2
-
7
-
-
0031316549
-
The pseudovariety J is hyperdecidable
-
J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Inform. Théor. Appl. 31 (1997), 457-482.
-
(1997)
Inform. Théor. Appl.
, vol.31
, pp. 457-482
-
-
Almeida, J.1
Zeitoun, M.2
-
8
-
-
0000040256
-
Inevitable graphs: A proof of the type II conjecture and some related decision procedures
-
C. J. Ash, Inevitable graphs: A proof of the type II conjecture and some related decision procedures, Int. J. Algebra Comput. 1 (1991), 127-146.
-
(1991)
Int. J. Algebra Comput.
, vol.1
, pp. 127-146
-
-
Ash, C.J.1
-
10
-
-
0041956906
-
The join of the pseudovariety J with permutative pseudovarieties
-
eds. J. Almeida, G. Bordalo and P. Dwinger, Plenum Press
-
A. Azevedo, The join of the pseudovariety J with permutative pseudovarieties, in Lattices, Semigroups and Universal Algebra, eds. J. Almeida, G. Bordalo and P. Dwinger, Plenum Press, 1990, pp. 1-11.
-
(1990)
Lattices, Semigroups and Universal Algebra
, pp. 1-11
-
-
Azevedo, A.1
-
11
-
-
0001602645
-
Abelian pointlikes of a monoid
-
M. Delgado, Abelian pointlikes of a monoid, Semigroup Forum 56 (1998), 339-361.
-
(1998)
Semigroup Forum
, vol.56
, pp. 339-361
-
-
Delgado, M.1
-
13
-
-
0001917913
-
Pointlike sets: The finest aperiodic cover of a finite semigroup
-
K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
-
(1988)
J. Pure Appl. Algebra
, vol.55
, pp. 85-126
-
-
Henckell, K.1
-
17
-
-
51249179980
-
The Birkhoff theorem for finite algebras
-
J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis, 14 (1982), 1-10.
-
(1982)
Algebra Universalis
, vol.14
, pp. 1-10
-
-
Reiterman, J.1
-
18
-
-
0003382495
-
New techniques in global semigroup theory
-
eds. S. Goberstein and P. Higgins, D. Reidel
-
J. Rhodes, New techniques in global semigroup theory, in Semigroups and their Applications, eds. S. Goberstein and P. Higgins, D. Reidel, 1987, pp. 168-181.
-
(1987)
Semigroups and Their Applications
, pp. 168-181
-
-
Rhodes, J.1
-
19
-
-
0002291626
-
On the profinite topology on a free group
-
L. Ribes and P. A. Zalesskiǐ, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37-43.
-
(1993)
Bull. London Math. Soc.
, vol.25
, pp. 37-43
-
-
Ribes, L.1
Zalesskiǐ, P.A.2
-
20
-
-
85037127507
-
Piecewise testable events
-
Proc. 2nd GI Conf., Springer-Verlag
-
I. Simon, Piecewise testable events, Proc. 2nd GI Conf., Vol. 33 of Lecture Notes Computer Science, Springer-Verlag, 1975, pp. 214-222.
-
(1975)
Lecture Notes Computer Science
, vol.33
, pp. 214-222
-
-
Simon, I.1
-
21
-
-
0009888657
-
The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
-
P. G. Trotter and M. V. Volkov, The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups, Semigroup Forum 52 (1996), 83-91.
-
(1996)
Semigroup Forum
, vol.52
, pp. 83-91
-
-
Trotter, P.G.1
Volkov, M.V.2
-
22
-
-
0346735164
-
On the join of two pseudovarieties
-
eds. J. Almeida, G. M. S. Gomes and P. V. Silva, World Scientific
-
M. Zeitoun, On the join of two pseudovarieties, in Semigroups, Automata and Languages, eds. J. Almeida, G. M. S. Gomes and P. V. Silva, World Scientific, 1996, 281-288.
-
(1996)
Semigroups, Automata and Languages
, pp. 281-288
-
-
Zeitoun, M.1
|