Ehrenfeucht-Fraïssé goes automatic for real addition
type: Item
instance of: scholarly article
title: Ehrenfeucht-Fraïssé goes automatic for real addition
zbMATH Open document ID: 1204.68121
author: Felix Klaedtke
published in: Information and Computation
publication date: 2010-10-22T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5804331
zbMATH Keywords: automata theory
zbMATH Keywords: automata-based decision procedures for logical theories
zbMATH Keywords: automatic structures
zbMATH Keywords: upper bounds
zbMATH Keywords: minimal sizes of automata
zbMATH Keywords: linear arithmetic over the reals
zbMATH Keywords: first-order equivalence
zbMATH Keywords: complexity
describes a project that uses: FAST
describes a project that uses: MONA
describes a project that uses: LIRA
MaRDI profile type: Publication
full work available at URL: j.ic.2010.07.003
OpenAlex ID: W1963694783
cites work: Finite presentations of infinite structures: Automata and interpretations
cites work: An effective decision procedure for linear arithmetic over the integers and reals
cites work: Q4809151
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5674430
cites work: Q4298571
cites work: Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
cites work: A Decision Procedure for the First Order Theory of Real Addition with Order
cites work: Automatic Structures: Richness and Limitations
cites work: STACS 2004
cites work: Bounds on the automata size for Presburger arithmetic
cites work: Q4910740
cites work: MONA IMPLEMENTATION SECRETS
cites work: Theory of computation.
cites work: Automatic Structures of Bounded Degree Revisited
cites work: Application of model theoretic games to discrete linear orders and finite automata
cites work: Q5641083
cites work: First-Order Queries on Finite Structures Over the Reals
cites work: Presburger arithmetic with bounded quantifier alternation
cites work: Finite-state \(\omega\)-languages
DOI: 10.1016/J.IC.2010.07.003
description: scientific article; zbMATH DE number 5804331