Sciweavers

10271 search results - page 306 / 2055
» Computer Science
Sort
View
FOCS
1990
IEEE
15 years 10 months ago
Security Preserving Amplification of Hardness
Oded Goldreich, Russell Impagliazzo, Leonid A. Lev...
FOCS
1990
IEEE
15 years 10 months ago
Decision Problems for Propositional Linear Logic
Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...
GG
1990
Springer
15 years 10 months ago
Dactl: An Experimental Graph Rewriting Language
John R. W. Glauert, Richard Kennaway, M. Ronan Sle...
ACMSE
2007
ACM
15 years 10 months ago
PERIODIC: state-of-the-art array imaging technology
R. Barnard, B. Gray, J. van der Gracht, M. Mirotzn...
141
Voted
ACMSE
2007
ACM
15 years 10 months ago
Higher-order functional programming and wildcards in java
Categories and Subject Descriptors General Terms Keywords
Nattawut Sridranop, Ryan Stansifer