Finite presentations of infinite structures: Automata and interpretations
type: Item
instance of: scholarly article
title: Finite presentations of infinite structures: Automata and interpretations
zbMATH Open document ID: 1061.03038
author: Achim Blumensath
author: Erich Grädel
published in: Theory of Computing Systems
publication date: 2005-02-24T00:00:00Z
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 2138497
zbMATH Keywords: model checking
zbMATH Keywords: automatic structures
MaRDI profile type: Publication
full work available at URL: s00224-004-1133-y
OpenAlex ID: W1966217515
DOI: 10.1007/S00224-004-1133-Y
description: scientific article; zbMATH DE number 2138497