СТ |
Shared Memory System for Babel: A VHDL Specification |
1994 |
Saenz F., Hans W., Ruz J. J., Winkler S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
СТ |
Efficient Lazy Narrowing using Demandedness Analysis |
1993 |
Moreno-Navarro J. J., Kuchen H., Marino-Carballo J., Winkler S., Hans W. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
СТ |
A Complete Indexing Scheme for WAM-based Abstract Machines |
1992 |
Hans W. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
СТ |
On the Interaction of Lazy Evaluation and Backtracking |
1992 |
Hans W., Loogen R., Winkler S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |