The model theory of finite structures is intimately connected to various fields in computer
science, including complexity theory, databases, and verification. In particular, there is a …

The work at hand studies the possibilities and limitations of the use of finite automata in the
description of infinite structures. An automatic presentation of a countable structure consists …

The model theory of finite structures is intimately connected to various fields in computer
science, including complexity theory, databases, and verification. In particular, there is a …

This dissertation is a contribution to the study of infinite graphs which can be presented in a
finitary way. In particular, the class of rational graphs is studied. The vertices of a rational …