Uniformly Automatic Classes of Finite Structures
Study of uniformly automatic classes of finite structures.
Faried Abu Zaid
•
•
1 min readStudy of uniformly automatic classes of finite structures.
Logic and decidability in the Cayley-Graph of the Queue Monoid.
A study of elementary complexity classes in the context of automatic structures.
Advice automatic structures and uniformly automatic classes in logic.
Definability of summation problems for Abelian groups and semigroups.
Choiceless polynomial time on structures with small abelian colour classes.
The field of reals and omega-automatic structures.