Search Sciweavers | Sciweavers

13603 search results - page 23 / 2721

» On the Computational Complexity of Cut-Reduction

Voted

LCC
1994

193views Algorithms» more LCC 1994»

Expressing Computational Complexity in Constructive Type Theory

15 years 1 months ago

Download ce.sharif.edu

Robert L. Constable

claim paper

Read More »

Voted

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 1 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

Voted

ICIP
1995
IEEE

94views Image Processing» more ICIP 1995»

Parallel complexity of the medial axis computation

15 years 1 months ago

Download www.csie.ntust.edu.tw

Afonso Ferreira, Stéphane Ubéda

claim paper

Read More »

click to vote

STOC
1987
ACM

46views Algorithms» more STOC 1987»

Size-Time Complexity of Boolean Networks for Prefix Computations

15 years 1 months ago

Download www.cs.brown.edu

Gianfranco Bilardi, Franco P. Preparata

claim paper

Read More »

click to vote

CRYPTO
2008
Springer

85views Cryptology» more CRYPTO 2008»

Cryptographic Complexity of Multi-Party Computation Problems: Classifications and Separations

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers