Multitree automata that count
type: Item
instance of: scholarly article
title: Multitree automata that count
zbMATH Open document ID: 1070.68075
author: D. Lugiez
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 2153211
zbMATH Keywords: Tree-automata
zbMATH Keywords: Presburger arithmetic
zbMATH Keywords: Formal languages
zbMATH Keywords: Logic
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.023
OpenAlex ID: W2012833332
cites work: Q3696522
cites work: Equality and disequality constraints on direct subterms in tree automata
cites work: Logic and \(p\)-recognizable sets of integers
cites work: Pumping, cleaning and symbolic constraints solving
cites work: Rewriting in the partial algebra of typed terms modulo AC
cites work: Q4942651
cites work: Q4447237
cites work: The first order properties of products of algebraic systems
cites work: The computational complexity of logical theories
cites work: Q4082296
cites work: Q5576254
cites work: Semigroups, Presburger formulas, and languages
cites work: Alternating two-way AC-tree automata
cites work: Q4809076
cites work: Q4417868
cites work: Tree automata help one to solve equational formulae in AC-theories
cites work: The theory of integer multiplication with order restricted to primes is decidable
cites work: Feature automata and recognizable sets of feature trees
cites work: Q4783330
cites work: Définition et etude des Bilangages réguliers
cites work: Q4447233
DOI: 10.1016/J.TCS.2004.10.023
Recommended article: Q4417868
Recommended article: Automata on infinite trees with counting constraints
Recommended article: Q3323279
Recommended article: Q5418248
Recommended article: Learning Multiplicity Tree Automata
Recommended article: Automata on finite trees
Recommended article: Trees in partial higher dimensional automata
Recommended article: Minimisation of Multiplicity Tree Automata
description: scientific article; zbMATH DE number 2153211