Regular tree languages, cardinality predicates, and addition-invariant FO
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68124
author: Frederik Harwath
author: Nicole Schweikardt
publication date: 2012-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6070927
zbMATH Keywords: regular tree languages
zbMATH Keywords: algebraic closure properties
zbMATH Keywords: decidable characterisations
zbMATH Keywords: addition-invariant first-order logic
zbMATH Keywords: logical interpretations
MaRDI profile type: Publication
DOI: 10.4230/LIPICS.STACS.2012.489
title: Regular tree languages, cardinality predicates, and addition-invariant FO
description: scientific article; zbMATH DE number 6070927