Travelled to:
1 × Czech Republic
1 × Japan
Collaborated with:
C.I.Tîrnauca ∅
Talks about:
tree (2) translat (1) automata (1) alphabet (1) bimorph (1) theori (1) syntax (1) rewrit (1) direct (1) quasi (1)
Person: Magnus Steinby
DBLP: Steinby:Magnus
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- CIAA-2007-SteinbyT #morphism
- Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms (MS, CIT), pp. 265–276.
- WLC-2000-Steinby #automaton #formal method #term rewriting
- Tree Automata in the Theory of Term Rewriting (MS), pp. 434–449.