1 - 25 of 2
Number of results to display per page
TitleDateTypeSetname
1 Efficient evaluation of normal order through strictness information1987-03Textir_computersa
2 An abstract machine for parallel graph reduction1989Textir_uspace
1 - 25 of 2