scientific article; zbMATH DE number 7559409

DOI10.4230/LIPICS.MFCS.2020.38MaRDI QIDQ5089205FDOQ5089205

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

Publication date: 18 July 2022

Title of this publication is not available (Why is that?)

zbMATH Keywords

trees\(\lambda\)-calculustransducers

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

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)