Logic and Theory of Algorithms

Deterministic Graphical Games Revisited.- Program Schemes with Deep Pushdown Storage.- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.- Pure Iteration and Periodicity.- Programming Experimental Procedures for Newtonian Kinematic Machines.- Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.- A Summation Algorithm from 11th Century China.- Sequential Automatic Algebras.- The Role of Classical Computation in Measurement-Based Quantum Computation.- The Algebraic Counterpart of the Wagner Hierarchy.- Computing by Observing: A Brief Survey.- A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients.- Pell Equations and Weak Regularity Principles.- Computable Categoricity of Graphs with Finite Components.- P Automata: Membrane Systems as Acceptors.- On the Processing Power of Protozoa.- Computing Equilibria in Large Games We Play.- A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC.- Phase Transitions for Weakly Increasing Sequences.- Succinct NP Proofs from an Extractability Assumption.- Describing the Wadge Hierarchy for the Alternation Free Fragment of ?-Calculus (I).- Subrecursive Complexity of Identifying the Ramsey Structure of Posets.- Solving Simple Stochastic Games.- The Shrinking Property for NP and coNP.- On the Hardness of Truthful Online Auctions with Multidimensional Constraints.- Effective Dimensions and Relative Frequencies.- Reachability in Linear Dynamical Systems.- Hybrid Functional Interpretations.- The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?.- Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion.- A Simple P-Matrix Linear Complementarity Problem for Discounted Games.- Implementing Spi Calculus Using Nominal Techniques.- An Enhanced Theory of Infinite Time Register Machines.-