Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)

Documenti analoghi

• The structure of polynomial growth for tree automata/transducers and MSO set queries
  di: Gallot, Paul, et al.
  Pubblicazione: (2025)
• Syntactically and semantically regular languages of lambda-terms coincide through logical relations
  di: Moreau, Vincent, et al.
  Pubblicazione: (2023)
• Slightly Non-Linear Higher-Order Tree Transducers
  di: Nguyên, Lê Thành Dũng, et al.
  Pubblicazione: (2024)
• Function spaces for orbit-finite sets
  di: Bojańczyk, Mikołaj, et al.
  Pubblicazione: (2024)
• Non-commutative linear logic fragments with sub-context-free complexity
  di: Nishimiya, Yusaku, et al.
  Pubblicazione: (2025)