Climbing up the Elementary Complexity Classes with Theories of Automatic Structures

Sep 4, 2018·

Faried Abu Zaid

Dietrich Kuske

Peter Lindner

· 0 min read

Abstract

This paper explores the complexity classes associated with theories of automatic structures, providing new insights into their elementary properties and computational boundaries.

Type

Conference paper

Publication

27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Birmingham, UK

Last updated on Sep 4, 2018

Automatic Structures Complexity Classes Logic

← Uniformly Automatic Classes of Finite Structures Dec 11, 2018

Advice Automatic Structures and Uniformly Automatic Classes Aug 20, 2017 →