Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 7204566

From MaRDI portal
Publication:5111446
Jump to:navigation, search

DOI10.4230/LIPICS.ICALP.2017.114zbMATH Open1442.68083MaRDI QIDQ5111446FDOQ5111446

Bruno Guillon, Laure Daviaud, Mikołaj Bojańczyk, Vincent Penelle

Publication date: 27 May 2020



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


zbMATH Keywords

streaming string transducersorigin semanticsMSO-definabilitystring-to-string transductions


Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)



Cited In (10)

  • Title not available (Why is that?)
  • Linear-time limited automata
  • One-way resynchronizability of word transducers
  • Resynchronized uniformization and definability problems for rational relations
  • Computability by monadic second-order logic
  • Regular transducer expressions for regular transformations
  • On Synthesis of Resynchronizers for Transducers
  • Origin-equivalence of two-way word transducers is in PSPACE
  • Title not available (Why is that?)
  • Title not available (Why is that?)






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 Q5111446)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111446&oldid=19632291"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 13:31. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki