Sciweavers

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