Search Sciweavers | Sciweavers

13603 search results - page 304 / 2721

» On the Computational Complexity of Cut-Reduction

133

click to vote

COCO
2009
Springer

124views Algorithms» more COCO 2009»

The Complexity of the Annihilating Polynomial

16 years 1 months ago

Download www.math.ias.edu

Neeraj Kayal

claim paper

Read More »

134

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

16 years 1 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

141

Voted

CIE
2007
Springer

108views Applied Computing» more CIE 2007»

The Complexity of Small Universal Turing Machines

16 years 1 months ago

Download www.bcri.ucc.ie

Damien Woods, Turlough Neary

claim paper

Read More »

127

click to vote

ICALP
2007
Springer

98views Programming Languages» more ICALP 2007»

Complexity of the Cover Polynomial

16 years 1 months ago

Download www-cc.cs.uni-saarland.de

Markus Bläser, Holger Dell

claim paper

Read More »

161

click to vote

TAMC
2007
Springer

85views Applied Computing» more TAMC 2007»

Directed Searching Digraphs: Monotonicity and Complexity

16 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers