Travelled to:1 × Germany
1 × The Netherlands
Collaborated with:R.Antunez U.P.Schultz
Talks about:function (1) automata (1) student (1) quadrat (1) languag (1) scienc (1) formal (1) comput (1) optim (1) time (1)
Person: Marco T. Morazán
DBLP: Moraz=aacute=n:Marco_T=
Facilitated 2 volumes:
Ed
EdContributed to:
20142007Wrote 2 papers:
- TFPIE-2014-MorazanA #automaton #formal method #functional #student
- Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
- IFL-2007-MorazanS #polynomial
- Optimal λ Lifting in Quadratic Time (MTM, UPS), pp. 37–56.