Abstract is missing.
- Deterministic Graphical Games RevisitedDaniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen. 1-10 [doi]
- Program Schemes with Deep Pushdown StorageArgimiro Arratia, Iain A. Stewart. 11-21 [doi]
- Herbrand Theorems and Skolemization for Prenex Fuzzy LogicsMatthias Baaz, George Metcalfe. 22-31 [doi]
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTLSergey Babenyshev, Vladimir V. Rybakov. 32-41 [doi]
- Pure Iteration and PeriodicityMathias Barra. 42-51 [doi]
- Programming Experimental Procedures for Newtonian Kinematic MachinesEdwin J. Beggs, J. V. Tucker. 52-66 [doi]
- Linear, Polynomial or Exponential? Complexity Inference in Polynomial TimeAmir M. Ben-Amram, Neil D. Jones, Lars Kristiansen. 67-76 [doi]
- A Summation Algorithm from 11th Century ChinaAndrea Bréard. 77-83 [doi]
- Sequential Automatic AlgebrasMichael Brough, Bakhadyr Khoussainov, Peter Nelson. 84-93 [doi]
- The Role of Classical Computation in Measurement-Based Quantum ComputationDan Browne, Janet Anders. 94-99 [doi]
- The Algebraic Counterpart of the Wagner HierarchyJérémie Cabessa, Jacques Duparc. 100-109 [doi]
- Computing by Observing: A Brief SurveyMatteo Cavaliere. 110-119 [doi]
- A Quantum Information-Theoretic Proof of the Relation between Horn s Problem and the Littlewood-Richardson CoefficientsMatthias Christandl. 120-128 [doi]
- Pell Equations and Weak Regularity PrinciplesCharalampos Cornaros. 129-138 [doi]
- Computable Categoricity of Graphs with Finite ComponentsBarbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu. 139-148 [doi]
- P Automata: Membrane Systems as AcceptorsErzsébet Csuhaj-Varjú. 149-151 [doi]
- On the Processing Power of ProtozoaMark Daley. 152-153 [doi]
- Computing Equilibria in Large Games We PlayConstantinos Daskalakis. 154-157 [doi]
- A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIACLiesbeth De Mol, Maarten Bullynck. 158-167 [doi]
- Phase Transitions for Weakly Increasing SequencesMichiel De Smet, Andreas Weiermann. 168-174 [doi]
- Succinct NP Proofs from an Extractability AssumptionGiovanni Di Crescenzo, Helger Lipmaa. 175-185 [doi]
- Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I)Jacques Duparc, Alessandro Facchini. 186-195 [doi]
- Subrecursive Complexity of Identifying the Ramsey Structure of PosetsWillem L. Fouché. 196-205 [doi]
- Solving Simple Stochastic GamesHugo Gimbert, Florian Horn. 206-209 [doi]
- The Shrinking Property for NP and coNPChristian Glaßer, Christian Reitwießner, Victor L. Selivanov. 210-220 [doi]
- On the Hardness of Truthful Online Auctions with Multidimensional ConstraintsRica Gonen. 221-230 [doi]
- Effective Dimensions and Relative FrequenciesXiaoyang Gu, Jack H. Lutz. 231-240 [doi]
- Reachability in Linear Dynamical SystemsEmmanuel Hainry. 241-250 [doi]
- Hybrid Functional InterpretationsMircea-Dan Hernest, Paulo Oliva. 251-260 [doi]
- The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?Jens Høyrup. 261-272 [doi]
- Adversarial Scheduling Analysis of Game-Theoretic Models of Norm DiffusionGabriel Istrate, Madhav V. Marathe, S. S. Ravi. 273-282 [doi]
- A Simple P-Matrix Linear Complementarity Problem for Discounted GamesMarcin Jurdzinski, Rahul Savani. 283-293 [doi]
- Implementing Spi Calculus Using Nominal TechniquesTemesghen Kahsai, Marino Miculan. 294-305 [doi]
- An Enhanced Theory of Infinite Time Register MachinesPeter Koepke, Russell Miller. 306-315 [doi]
- Many Facets of Complexity in LogicAntonina Kolokolova. 316-325 [doi]
- On the Computational Power of Enhanced Mobile MembranesShankara Narayanan Krishna, Gabriel Ciobanu. 326-335 [doi]
- Recursion in Higher Types and Resource Bounded Turing MachinesLars Kristiansen. 336-348 [doi]
- Computability and Complexity in Self-assemblyJames I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers. 349-358 [doi]
- Extraction in Coq: An OverviewPierre Letouzey. 359-369 [doi]
- Joining to High DegreesJiang Liu, Guohua Wu. 370-378 [doi]
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity TheoremIris Loeb. 379-388 [doi]
- Interpreting Localized Computational Effects Using Operators of Higher TypeJohn Longley. 389-402 [doi]
- Uniform Algebraic Reducibilities between Parameterized Numeric Graph InvariantsJohann A. Makowsky. 403-406 [doi]
- Updatable Timed Automata with Additive and Diagonal ConstraintsLakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj. 407-416 [doi]
- First-Order Model Checking Problems Parameterized by the ModelBarnaby Martin. 417-427 [doi]
- Domain Theory and the Causal Structure of Space-TimeKeye Martin, Prakash Panangaden. 428-430 [doi]
- Recursion on Nested Datatypes in Dependent Type TheoryRalph Matthes. 431-446 [doi]
- Perfect Local Computability and Computable SimulationsRussell Miller, Dustin Mulcahey. 447-456 [doi]
- Complete Determinacy and Subsystems of Second Order ArithmeticTakako Nemoto. 457-466 [doi]
- Internal Density Theorems for Hierarchies of Continuous FunctionalsDag Normann. 467-475 [doi]
- Two-by-Two Substitution Systems and the Undecidability of the Domino ProblemNicolas Ollinger. 476-485 [doi]
- The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZFLawrence C. Paulson. 486-490 [doi]
- Upper Semilattices in Many-One DegreesSergei Podzorov. 491-497 [doi]
- Union of Reducibility Candidates for Orthogonal Constructor RewritingColin Riba. 498-510 [doi]
- The Quantum Complexity of Markov Chain Monte CarloPeter C. Richter. 511-522 [doi]
- Topological Dynamics of 2D Cellular AutomataMathieu Sablik, Guillaume Theyssier. 523-532 [doi]
- Complexity of Aperiodicity for Topological Properties of Regular omega-LanguagesVictor L. Selivanov, Klaus W. Wagner. 533-543 [doi]
- omega-Degree SpectraAlexandra A. Soskova. 544-553 [doi]
- Cupping Classes of Enumeration DegreesMariya Ivanova Soskova. 554-566 [doi]
- Principal Typings for Explicit Substitutions CalculiDaniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine. 567-578 [doi]
- How We Think of Computing TodayJirí Wiedermann, Jan van Leeuwen. 579-593 [doi]