Jolie G. de Miranda

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong: Safety Is not a Restriction at Level 2 for String Languages. FoSSaCS 2005: 490-504

1 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: 39-54

	2005
2		Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong: Safety Is not a Restriction at Level 2 for String Languages. FoSSaCS 2005: 490-504
1		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: 39-54

Coauthor Index

1 Klaus Aehlig [1] [2]

2 C.-H. Luke Ong [1] [2]