Sciweavers

41 search results - page 1 / 9
» csl 2008
Sort
View
CSL
2008
Springer
13 years 5 months ago
The Ackermann Award 2008
Johann A. Makowsky, Damian Niwinski
CSL
2008
Springer
13 years 5 months ago
Molecules as Automata
Luca Cardelli
CSL
2008
Springer
13 years 5 months ago
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic
Olaf Beyersdorff, Sebastian Müller
CSL
2008
Springer
13 years 5 months ago
Superposition for Fixed Domains
Matthias Horbach, Christoph Weidenbach