Sciweavers

1892 search results - page 17 / 379
» Warren's Abstract Machine
Sort
View
EUROPAR
1997
Springer
14 years 22 days ago
Abstract And-Parallel Machines
Nachum Dershowitz, Naomi Lindenstrauss
EDBT
1990
ACM
79views Database» more  EDBT 1990»
14 years 19 days ago
Abstract Machine for LDL
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
MICRO
1989
IEEE
59views Hardware» more  MICRO 1989»
14 years 19 days ago
Abstract computing machines
Giacomo R. Sechi
PLILP
1990
Springer
14 years 19 days ago
The Vienna Abstract Machine
Andreas Krall, Ulrich Neumerkel