Mar 13, 2007 · We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe ...
scholar.google.com › citations
This paper studies the existence of automatic presentations for various algebraic structures. The automatic Boolean algebras are characterised, ...
An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the relations by ...
In this paper we provide a structure theorem for the (infinite) automatic Boolean algebras; namely, they are those isomorphic to finite products of the Boolean ...
Oct 22, 2024 · This paper studies the existence of automatic presentations for various algebraic structures. The automatic Boolean algebras are ...
In this paper we provide a structure theorem for the (infinite) automatic Boolean algebras; namely, they are those isomorphic to finite products of the Boolean ...
It is proven that the free Abelian group of infinite rank and many Fraisse limits do not have automatic presentations, and the complexity of the isomorphism ...
This paper studies the existence of automatic presentations for various algebraic structures. The automatic Boolean algebras are characterised, and it is proven ...
This paper studies the existence of automatic presentations for various algebraic structures.The automatic Boolean algebras are characterised, and it is ...
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04). 1043-6871/04 $ 20.00 IEEE. Page 2. Proceedings of the 19th Annual IEEE ...