Travelled to:
1 × Canada
1 × France
1 × Greece
1 × Taiwan
Collaborated with:
M.Droste J.Engelfriet M.Büchse A.Maletti
Talks about:
theorem (3) schützenberg (2) quantit (2) languag (2) context (2) chomski (2) tree (2) free (2) unidirect (1) character (1)
Person: Heiko Vogler
DBLP: Vogler:Heiko
Contributed to:
Wrote 5 papers:
- DLT-2013-DrosteV #context-free grammar #theorem
- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 203–214.
- DLT-J-2013-DrosteV14 #context-free grammar #theorem
- The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages (MD, HV), pp. 955–970.
- DLT-2012-BuchseMV #semantics
- Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars (MB, AM, HV), pp. 368–379.
- DLT-2010-DrosteV #automaton #bound #logic #multi #theorem
- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (MD, HV), pp. 160–172.
- ICALP-1985-EngelfrietV #transducer
- Characterization of High Level Tree Transducers (JE, HV), pp. 171–178.