The semantics of lazy functional languages
- Mark B. Josephs
- 1989
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
Techniques for parallel manipulation of sparse matrices
- Clyde P. Kruskal
- Larry Rudolph
- et al.
- 1989
- Theoretical Computer Science
Church-Rosser theorem for a rewriting system on categorial combinators
- Hirofumi Yokouchi
- 1989
- Theoretical Computer Science
On finding a minimum dominating set in a tournament
- Nimrod Megiddo
- Uzi Vishkin
- 1988
- Theoretical Computer Science
Classification of all the minimal bilinear algorithms for computing the coefficients of the product of two polynomials modulo a polynomial, part I: The algebra G[u] <Q(u)l>, l>1
- Amir Averbuch
- Zvi Galil
- et al.
- 1988
- Theoretical Computer Science
Canonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
The generalized packet routing problem
- David Peleg
- Eli Upfal
- 1987
- Theoretical Computer Science
A categorical treatment of pre- and post-conditions
- Eric G. Wagner
- 1987
- Theoretical Computer Science
The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
Simulating probabilistic by deterministic algebraic computation trees
- Friedhelm Meyer auf der Heide
- 1985
- Theoretical Computer Science