Travelled to:1 × Japan
1 × United Kingdom
Collaborated with:K.Aehlig C.L.Ong
Talks about:level (2) arbitrari (1) restrict (1) languag (1) theori (1) string (1) second (1) scheme (1) safeti (1) recurs (1)
Person: Jolie G. de Miranda
DBLP: Miranda:Jolie_G=_de
Contributed to:
2005
2005Wrote 2 papers:
- FoSSaCS-2005-AehligMO #safety #strict #string
- Safety Is not a Restriction at Level 2 for String Languages (KA, JGdM, CHLO), pp. 490–504.
- TLCA-2005-AehligMO #decidability #higher-order #monad #recursion
- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.