Jolie G. de Miranda

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong
Safety Is not a Restriction at Level 2 for String Languages. FoSSaCS (2005)
Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable. TLCA (2005)