Sciweavers

13306 search results - page 187 / 2662
» Theoretical Computer Science
Sort
View
TLCA
1997
Springer
15 years 10 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini
136
Voted
FOCS
1993
IEEE
15 years 10 months ago
Parallel computable higher type functionals (Extended Abstract)
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...
114
Voted
FOCS
1989
IEEE
15 years 10 months ago
Interior-Point Methods in Parallel Computation
Andrew V. Goldberg, Serge A. Plotkin, David B. Shm...
ACMSE
2007
ACM
15 years 10 months ago
Automating the development of quantum computational software
V. Paul Pauca, Todd C. Torgersen, Y. Abraham, J. S...
150
Voted
FOCS
1994
IEEE
15 years 10 months ago
On Syntactic versus Computational Views of Approximability
Sanjeev Khanna, Rajeev Motwani, Madhu Sudan, Umesh...