scientific article; zbMATH DE number 7559409
From MaRDI portal
Publication:5089205
DOI10.4230/LIPIcs.MFCS.2020.38MaRDI QIDQ5089205
Aurélien Lemay, Paul D. Gallot, Sylvain Salvati
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Linear logic
- The equivalence problem for deterministic MSO tree transducers is decidable
- Macro tree transducers
- High level tree transducers and iterated pushdown tree transducers
- Monadic second-order definable graph transductions: a survey
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- Macro tree transducers, attribute grammars, and MSO definable tree translations.
- Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars
- Streaming Tree Transducers
- XML Type Checking Using High-Level Tree Transducer
- Handbook of Graph Grammars and Computing by Graph Transformation
- Higher-order multi-parameter tree transducers and recursion schemes for program verification
- On Relations Defined by Generalized Finite Automata
- Generalized finite automata theory with an application to a decision problem of second-order logic
This page was built for publication:
