Factorization of Ambiguous Finite-State Transducers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Extraction of epsilon-Cyclesfrom Finite-State Transducers
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Extraction and recoding of input-ε-cycles in finite state transducers
Theoretical Computer Science - Implementation and application automata
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
Theoretical Computer Science - Developments in language theory
On the Decidability of Bounded Valuedness for Transducers
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
On the Decidability of the Equivalence for k-Valued Transducers
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Deciding the sequentiality of a finitely ambiguous max-plus automaton
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Conjugacy and equivalence of weighted automata and functional transducers
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
A disambiguation algorithm for finite automata and functional transducers
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
On properties and state complexity of deterministic state-partition automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
A uniformization theorem for nested word to word transductions
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Hi-index | 0.00 |