scientific article; zbMATH DE number 7561599

DOI10.4230/LIPIcs.ICALP.2019.106MaRDI QIDQ5091268

Nathan Lhote, Sandra Kiefer, Mikołaj Bojańczyk

Publication date: 21 July 2022

Full work available at URL: https://arxiv.org/abs/1905.13190

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpretationsMSOpebble transducerspolyregular functions

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Pebble minimization: the last theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite model theory and its applications.
• Two-way pebble transducers for partial functions and their composition
• Factorization forests of finite height
• Complexity results for two-way and multi-pebble automata and their logics
• Typechecking for XML transformers
• Regular transducer expressions for regular transformations
• Enumeration of monadic second-order queries on trees
• MSO definable string transductions and two-way finite-state transducers
• Regular combinators for string transformations
• Regular and First-Order List Functions
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• A Combinatorial Theorem for Trees

This page was built for publication: