Jolie G. de Miranda

According to our database, Jolie G. de Miranda authored at least 3 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Structures generated by higher-order grammars and the safety constraint.

Jolie G. de Miranda

PhD thesis, 2006

2005

The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.

Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Safety Is not a Restriction at Level 2 for String Languages.

Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong

Proceedings of the Foundations of Software Science and Computational Structures, 2005