Travelled to:1 × Denmark
1 × Switzerland
Collaborated with:M.Mukund K.N.Kumar P.S.Thiagarajan J.L.Jensen M.E.Jørgensen N.Klarlund R.Paige T.Rauhe A.Sandholm
Talks about:sequenc (1) regular (1) practic (1) languag (1) generat (1) second (1) messag (1) order (1) monad (1) logic (1)
Person: Jesper G. Henriksen
DBLP: Henriksen:Jesper_G=
Contributed to:
2000
1995Wrote 2 papers:
- ICALP-2000-HenriksenMKT #graph #on the #sequence
- On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
- TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
- Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.