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
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...
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...
FOCS
1994
IEEE
15 years 10 months ago
On Syntactic versus Computational Views of Approximability
Sanjeev Khanna, Rajeev Motwani, Madhu Sudan, Umesh...