Sciweavers

13306 search results - page 214 / 2662
» Theoretical Computer Science
Sort
View
FOCS
1990
IEEE
15 years 10 months ago
Time-Space Tradeoffs for Undirected Graph Traversal
Paul Beame, Allan Borodin, Prabhakar Raghavan, Wal...
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...
129
Voted
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...