<--- Back to Details
First PageDocument Content
Nested word / Finite state transducer / Finite-state machine / Büchi automaton / Automata theory / Theoretical computer science / Computer science
Date: 2013-06-13 07:29:10
Nested word
Finite state transducer
Finite-state machine
Büchi automaton
Automata theory
Theoretical computer science
Computer science

A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

Add to Reading List

Source URL: www.mpi-sws.org

Download Document from Source Website

File Size: 316,90 KB

Share Document on Facebook

Similar Documents