Sciweavers

5377 search results - page 265 / 1076
» Programming Languages For Interactive Computing
Sort
View
GG
2004
Springer
15 years 11 months ago
Towards Graph Programs for Graph Algorithms
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
Detlef Plump, Sandra Steinert
143
Voted
ICALP
2009
Springer
16 years 6 months ago
Distortion Is Fixed Parameter Tractable
Michael R. Fellows, Fedor V. Fomin, Daniel Lokshta...
ICALP
2009
Springer
16 years 6 months ago
Derandomizing Random Walks in Undirected Graphs Using Locally Fair Exploration Strategies
Colin Cooper, David Ilcinkas, Ralf Klasing, Adrian...
ICALP
2009
Springer
16 years 6 months ago
An Explicit Formula for the Free Exponential Modality of Linear Logic
Christine Tasson, Nicolas Tabareau, Paul-Andr&eacu...