Sciweavers

1139 search results - page 6 / 228
» Bounded Ideation Theory
Sort
View
LATIN
2010
Springer
15 years 4 months ago
The Language Theory of Bounded Context-Switching
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
52
Voted
ISAAC
2003
Springer
103views Algorithms» more  ISAAC 2003»
15 years 2 months ago
Upper Bounds on the Complexity of Some Galois Theory Problems
Vikraman Arvind, Piyush P. Kurur