| 2010 | A Faster Algorithm for Finding Minimum Tucker Submatrices. Guillaume Blin, Romeo Rizzi, Stéphane Vialette |
| 2010 | A Miniaturisation of Ramsey's Theorem. Michiel De Smet, Andreas Weiermann |
| 2010 | A Note on the Least Informative Model of a Theory. Jeff B. Paris, Soroush R. Rad |
| 2010 | Approximability and Hardness in Multi-objective Optimization. Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek |
| 2010 | Approximate Self-assembly of the Sierpinski Triangle. Jack H. Lutz, Brad Shutters |
| 2010 | Avoiding Simplicity Is Complex. Eric Allender |
| 2010 | Boole: From Calculating Numbers to Calculating Thoughts. Michèle Friend |
| 2010 | Circuit Complexity and Multiplicative Complexity of Boolean Functions. Arist Kojevnikov, Alexander S. Kulikov |
| 2010 | Computability of Countable Subshifts. Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman |
| 2010 | Computable Fields and Weak Truth-Table Reducibility. Rebecca M. Steiner |
| 2010 | Computable Ordered Abelian Groups and Fields. Alexander G. Melnikov |
| 2010 | Computational Complexity Aspects in Membrane Computing. Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron |
| 2010 | Computational Interpretations of Analysis via Products of Selection Functions. Martín Hötzel Escardó, Paulo Oliva |
| 2010 | Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole. Sara L. Uckelman |
| 2010 | Counting the Changes of Random D Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies |
| 2010 | DNA Rearrangements through Spatial Graphs. Natasa Jonoska, Masahico Saito |
| 2010 | Definability in the Subword Order. Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva |
| 2010 | Degrees with Almost Universal Cupping Property. Jiang Liu, Guohua Wu |
| 2010 | Development of a Bacteria Computer: From Yasubumi Sakakibara |
| 2010 | Ergodic-Type Characterizations of Algorithmic Randomness. Laurent Bienvenu, Adam R. Day, Ilya Mezhirov, Alexander Shen |
| 2010 | Every D Dieter Spreen |
| 2010 | Focusing in Asynchronous Games. Samuel Mimram |
| 2010 | Graph Structures and Algorithms for Query-Log Analysis. Debora Donato |
| 2010 | Hairpin Lengthening. Florin Manea, Carlos Martín-Vide, Victor Mitrana |
| 2010 | Haskell before Haskell: Curry's Contribution to Programming (1946-1950). Liesbeth De Mol, Maarten Bullynck, Martin Carlé |
| 2010 | Higher-Order Containers. Thorsten Altenkirch, Paul Blain Levy, Sam Staton |
| 2010 | How Powerful Are Integer-Valued Martingales? Laurent Bienvenu, Frank Stephan, Jason Teutsch |
| 2010 | Incomputability in Physics. Giuseppe Longo |
| 2010 | Inference Concerning Physical Systems. David H. Wolpert |
| 2010 | Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program. Yuri I. Manin |
| 2010 | Kolmogorov Complexity Cores. Andre Souto |
| 2010 | Lower Bounds for Reducibility to the Kolmogorov Random Strings. John M. Hitchcock |
| 2010 | On Index Sets of Some Properties of Computable Algebras. Bakhadyr Khoussainov, Andrei S. Morozov |
| 2010 | On the Completeness of Quantum Computation Models. Pablo Arrighi, Gilles Dowek |
| 2010 | On the Complexity of Local Search for Weighted Standard Set Problems. Dominic Dumrauf, Tim Süß |
| 2010 | Processes in Space. Luca Cardelli, Philippa Gardner |
| 2010 | Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes |
| 2010 | Proofs, Programs, Processes. Ulrich Berger, Monika Seisenberger |
| 2010 | Quasi-linear Dialectica Extraction. Trifon Trifonov |
| 2010 | Spatial Models for Virtual Networks. Jeannette C. M. Janssen |
| 2010 | The Complexity of Explicit Constructions. Rahul Santhanam |
| 2010 | The Limits of Tractability in Resolution-Based Propositional Proof Systems. Stefan S. Dantchev, Barnaby Martin |
| 2010 | The Ordinal of Skolem + Tetration Is Mathias Barra, Philipp Gerhardy |
| 2010 | The Peirce Translation and the Double Negation Shift. Martín Hötzel Escardó, Paulo Oliva |
| 2010 | The Strength of the Besicovitch-Davies Theorem. Bjørn Kjos-Hanssen, Jan Reimann |
| 2010 | Three Roots for Leibniz's Contribution to the Computational Conception of Reason. Olga Pombo |
| 2010 | Undecidability in Weihrauch Degrees. Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov |
| 2010 | What Is the Problem with Proof Nets for Classical Logic? Lutz Straßburger |