scientific article; zbMATH DE number 7559409

DOI10.4230/LIPICS.MFCS.2020.38MaRDI QIDQ5089205zbMATH OpenFDO

Authors Paul D. Gallot, Aurélien Lemay, S. Salvati

Publication date 18 July 2022

zbMATH Keywords

trees\(\lambda\)-calculustransducers

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3653575 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Handbook of Graph Grammars and Computing by Graph Transformation
• High level tree transducers and iterated pushdown tree transducers
• Higher-order multi-parameter tree transducers and recursion schemes for program verification
• Linear logic
• Macro tree transducers
• Macro tree transducers, attribute grammars, and MSO definable tree translations.
• Monadic second-order definable graph transductions: a survey
• On Relations Defined by Generalized Finite Automata
• The equivalence problem for deterministic MSO tree transducers is decidable
• XML Type Checking Using High-Level Tree Transducer

Cited in

(1)

• High level tree transducers and iterated pushdown tree transducers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089205)