Search Sciweavers | Sciweavers

1139 search results - page 6 / 228

» Bounded Ideation Theory

click to vote

LATIN
2010
Springer

141views Information Technology» more LATIN 2010»

The Language Theory of Bounded Context-Switching

14 years 2 months ago

Download www.dia.unisa.it

Concurrent compositions of recursive programs with ﬁnite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...

Salvatore La Torre, Parthasarathy Madhusudan, Genn...

claim paper

Read More »

click to vote

ISAAC
2003
Springer

103views Algorithms» more ISAAC 2003»

Upper Bounds on the Complexity of Some Galois Theory Problems

14 years 25 days ago

Download www.cse.iitk.ac.in

Vikraman Arvind, Piyush P. Kurur

claim paper

Read More »

click to vote

COCO
1995
Springer

85views Algorithms» more COCO 1995»

On Superlinear Lower Bounds in Complexity Theory

13 years 11 months ago

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

click to vote

DM
1999

128views more DM 1999»

The maximum number of edges in a graph of bounded dimension, with applications to ring theory

13 years 7 months ago

Download www.math.tu-berlin.de

Geir Agnarsson, Stefan Felsner, William T. Trotter

claim paper

Read More »

click to vote

TCS
1998

103views Theoretical Computer Science» more TCS 1998»

Sample Size Lower Bounds in PAC Learning by Algorithmic Complexity Theory

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers