Travelled to:
1 × The Netherlands
Collaborated with:
M.T.Morazán
Talks about:
function (1) automata (1) student (1) languag (1) scienc (1) formal (1) comput (1)
Person: Rosario Antunez
DBLP: Antunez:Rosario
Contributed to:
Wrote 1 papers:
- TFPIE-2014-MorazanA #automaton #formal method #functional #student
- Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.