Results 31 to 40 of about 302 (48)
Formalized proof, computation, and the construction problem in algebraic geometry [PDF]
, 2004 An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC ...
Simpson, Carlos T.
core
On Varieties of Ordered Automata
, 2019 The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex ...
H Straubing +17 more
core +1 more source
A new algebraic invariant for weak equivalence of sofic subshifts [PDF]
, 1997 It is studied how taking the inverse image by a sliding block code affects the syntactic semigroup of a sofic subshift. Two independent approaches are used: ζ-semigroups as recognition structures for sofic subshifts, and relatively free profinite ...
Chaubard, Laura, Costa, Alfredo
core +1 more source
Uniformities on Free Semigroups
International journal of algebra and computation, 1999 J. Pin, P. Weil
semanticscholar +1 more source
Associativity of the regular semidirect product of existence varieties
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 2000 B. Billhardt, M. Szendrei
semanticscholar +1 more source
On fixed points of the lower set operator
International journal of algebra and computation, 2015 J. Almeida +3 more
semanticscholar +1 more source
The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a problem proposed by Pin [PDF]
, 2005 Almeida, Jorge, Escada, Ana P.
core
Some of the next articles are maybe not open access.
Related searches:
Related searches:
E-varieties and E-pseudovarieties of regular semigroups [manuscript ]
2021This thesis was scanned from the print manuscript for digital preservation and is copyright the author. Researchers can access this thesis by asking their local university, institution or public library to make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
openaire +1 more source
Theories of Birkhoff type in pseudovarieties and e-varieties of regular semigroups
2023No description ...
openaire +1 more source
Complete Congruences on Lattices of Varieties and of Pseudovarieties
International journal of algebra and computation, 1998F. Pastijn, P. G. Trotter
semanticscholar +1 more source