Tiburon
From MaRDI portal
Software:14052
swMATH1312MaRDI QIDQ14052FDOQ14052
Author name not available (Why is that?)
Cited In (14)
- Compositions of extended top-down tree transducers
- Minimizing Deterministic Weighted Tree Automata
- Tree parsing for tree-adjoining machine translation
- From generic partition refinement to weighted tree automata minimization
- Backward and forward bisimulation minimization of tree automata
- Weighted extended tree transducers
- Input products for weighted extended top-down tree transducers
- Simulations of weighted tree automata
- From tree automata to rational tree expressions
- Survey: finite-state technology in natural language processing
- Minimizing deterministic weighted tree automata
- Bisimulation Minimisation for Weighted Tree Automata
- Weighted automata
- Backward and Forward Bisimulation Minimisation of Tree Automata
This page was built for software: Tiburon
