BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Miranda:Jolie_G=_de

Contributed to:

FoSSaCS 20052005
TLCA 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.