Works matching IS 00015903 AND DT 2011 AND VI 48 AND IP 3
Results: 3
One-sided random context grammars.
- Published in:
- Acta Informatica, 2011, v. 48, n. 3, p. 149, doi. 10.1007/s00236-011-0134-y
- By:
- Publication type:
- Article
MAT learners for tree series: an abstract data type and two realizations.
- Published in:
- Acta Informatica, 2011, v. 48, n. 3, p. 165, doi. 10.1007/s00236-011-0135-x
- By:
- Publication type:
- Article
Refined typing to localize the impact of forced strictness on free theorems.
- Published in:
- Acta Informatica, 2011, v. 48, n. 3, p. 191, doi. 10.1007/s00236-011-0136-9
- By:
- Publication type:
- Article