Deciding validity in a spatial logic for trees.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 543, doi. 10.1017/s0956796804005404
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2005 AND VI 15 AND IP 4
Results: 5
1
2
Embedded interpreters.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 503, doi. 10.1017/s0956796804005398
- By:
- Publication type:
- Article
3
A parallel SML compiler based on algorithmic skeletons.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 615, doi. 10.1017/s0956796804005489
- By:
- Publication type:
- Article
4
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 573, doi. 10.1017/s0956796804005416
- By:
- Publication type:
- Article
5
Term Rewriting Systems by Terese, Cambridge University Press, 2003.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 651, doi. 10.1017/s095679680400526x
- By:
- Publication type:
- Article