Sciweavers

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