4. CiE 2008:
Athens,
Greece
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.):
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings.
Lecture Notes in Computer Science 5028 Springer 2008, ISBN 978-3-540-69405-2 BibTeX
- Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
Deterministic Graphical Games Revisited.
1-10
Electronic Edition (link) BibTeX
- Argimiro Arratia, Iain A. Stewart:
Program Schemes with Deep Pushdown Storage.
11-21
Electronic Edition (link) BibTeX
- Matthias Baaz, George Metcalfe:
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.
22-31
Electronic Edition (link) BibTeX
- Sergey Babenyshev, Vladimir V. Rybakov:
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.
32-41
Electronic Edition (link) BibTeX
- Mathias Barra:
Pure Iteration and Periodicity.
42-51
Electronic Edition (link) BibTeX
- Edwin J. Beggs, J. V. Tucker:
Programming Experimental Procedures for Newtonian Kinematic Machines.
52-66
Electronic Edition (link) BibTeX
- Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen:
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.
67-76
Electronic Edition (link) BibTeX
- Andrea Bréard:
A Summation Algorithm from 11th Century China.
77-83
Electronic Edition (link) BibTeX
- Michael Brough, Bakhadyr Khoussainov, Peter Nelson:
Sequential Automatic Algebras.
84-93
Electronic Edition (link) BibTeX
- Dan Browne, Janet Anders:
The Role of Classical Computation in Measurement-Based Quantum Computation.
94-99
Electronic Edition (link) BibTeX
- Jérémie Cabessa, Jacques Duparc:
The Algebraic Counterpart of the Wagner Hierarchy.
100-109
Electronic Edition (link) BibTeX
- Matteo Cavaliere:
Computing by Observing: A Brief Survey.
110-119
Electronic Edition (link) BibTeX
- Matthias Christandl:
A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients.
120-128
Electronic Edition (link) BibTeX
- Charalampos Cornaros:
Pell Equations and Weak Regularity Principles.
129-138
Electronic Edition (link) BibTeX
- Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu:
Computable Categoricity of Graphs with Finite Components.
139-148
Electronic Edition (link) BibTeX
- Erzsébet Csuhaj-Varjú:
P Automata: Membrane Systems as Acceptors.
149-151
Electronic Edition (link) BibTeX
- Mark Daley:
On the Processing Power of Protozoa.
152-153
Electronic Edition (link) BibTeX
- Constantinos Daskalakis:
Computing Equilibria in Large Games We Play.
154-157
Electronic Edition (link) BibTeX
- Liesbeth De Mol, Maarten Bullynck:
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC.
158-167
Electronic Edition (link) BibTeX
- Michiel De Smet, Andreas Weiermann:
Phase Transitions for Weakly Increasing Sequences.
168-174
Electronic Edition (link) BibTeX
- Giovanni Di Crescenzo, Helger Lipmaa:
Succinct NP Proofs from an Extractability Assumption.
175-185
Electronic Edition (link) BibTeX
- Jacques Duparc, Alessandro Facchini:
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I).
186-195
Electronic Edition (link) BibTeX
- Willem L. Fouché:
Subrecursive Complexity of Identifying the Ramsey Structure of Posets.
196-205
Electronic Edition (link) BibTeX
- Hugo Gimbert, Florian Horn:
Solving Simple Stochastic Games.
206-209
Electronic Edition (link) BibTeX
- Christian Glaßer, Christian Reitwießner, Victor L. Selivanov:
The Shrinking Property for NP and coNP.
210-220
Electronic Edition (link) BibTeX
- Rica Gonen:
On the Hardness of Truthful Online Auctions with Multidimensional Constraints.
221-230
Electronic Edition (link) BibTeX
- Xiaoyang Gu, Jack H. Lutz:
Effective Dimensions and Relative Frequencies.
231-240
Electronic Edition (link) BibTeX
- Emmanuel Hainry:
Reachability in Linear Dynamical Systems.
241-250
Electronic Edition (link) BibTeX
- Mircea-Dan Hernest, Paulo Oliva:
Hybrid Functional Interpretations.
251-260
Electronic Edition (link) BibTeX
- Jens Høyrup:
The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?.
261-272
Electronic Edition (link) BibTeX
- Gabriel Istrate, Madhav V. Marathe, S. S. Ravi:
Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion.
273-282
Electronic Edition (link) BibTeX
- Marcin Jurdzinski, Rahul Savani:
A Simple P-Matrix Linear Complementarity Problem for Discounted Games.
283-293
Electronic Edition (link) BibTeX
- Temesghen Kahsai, Marino Miculan:
Implementing Spi Calculus Using Nominal Techniques.
294-305
Electronic Edition (link) BibTeX
- Peter Koepke, Russell Miller:
An Enhanced Theory of Infinite Time Register Machines.
306-315
Electronic Edition (link) BibTeX
- Antonina Kolokolova:
Many Facets of Complexity in Logic.
316-325
Electronic Edition (link) BibTeX
- Shankara Narayanan Krishna, Gabriel Ciobanu:
On the Computational Power of Enhanced Mobile Membranes.
326-335
Electronic Edition (link) BibTeX
- Lars Kristiansen:
Recursion in Higher Types and Resource Bounded Turing Machines.
336-348
Electronic Edition (link) BibTeX
- James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers:
Computability and Complexity in Self-assembly.
349-358
Electronic Edition (link) BibTeX
- Pierre Letouzey:
Extraction in Coq: An Overview.
359-369
Electronic Edition (link) BibTeX
- Jiang Liu, Guohua Wu:
Joining to High Degrees.
370-378
Electronic Edition (link) BibTeX
- Iris Loeb:
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
379-388
Electronic Edition (link) BibTeX
- John Longley:
Interpreting Localized Computational Effects Using Operators of Higher Type.
389-402
Electronic Edition (link) BibTeX
- Johann A. Makowsky:
Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants.
403-406
Electronic Edition (link) BibTeX
- Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj:
Updatable Timed Automata with Additive and Diagonal Constraints.
407-416
Electronic Edition (link) BibTeX
- Barnaby Martin:
First-Order Model Checking Problems Parameterized by the Model.
417-427
Electronic Edition (link) BibTeX
- Keye Martin, Prakash Panangaden:
Domain Theory and the Causal Structure of Space-Time.
428-430
Electronic Edition (link) BibTeX
- Ralph Matthes:
Recursion on Nested Datatypes in Dependent Type Theory.
431-446
Electronic Edition (link) BibTeX
- Russell Miller, Dustin Mulcahey:
Perfect Local Computability and Computable Simulations.
447-456
Electronic Edition (link) BibTeX
- Takako Nemoto:
Complete Determinacy and Subsystems of Second Order Arithmetic.
457-466
Electronic Edition (link) BibTeX
- Dag Normann:
Internal Density Theorems for Hierarchies of Continuous Functionals.
467-475
Electronic Edition (link) BibTeX
- Nicolas Ollinger:
Two-by-Two Substitution Systems and the Undecidability of the Domino Problem.
476-485
Electronic Edition (link) BibTeX
- Lawrence C. Paulson:
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.
486-490
Electronic Edition (link) BibTeX
- Sergei Podzorov:
Upper Semilattices in Many-One Degrees.
491-497
Electronic Edition (link) BibTeX
- Colin Riba:
Union of Reducibility Candidates for Orthogonal Constructor Rewriting.
498-510
Electronic Edition (link) BibTeX
- Peter C. Richter:
The Quantum Complexity of Markov Chain Monte Carlo.
511-522
Electronic Edition (link) BibTeX
- Mathieu Sablik, Guillaume Theyssier:
Topological Dynamics of 2D Cellular Automata.
523-532
Electronic Edition (link) BibTeX
- Victor L. Selivanov, Klaus W. Wagner:
Complexity of Aperiodicity for Topological Properties of Regular omega-Languages.
533-543
Electronic Edition (link) BibTeX
- Alexandra A. Soskova:
omega-Degree Spectra.
544-553
Electronic Edition (link) BibTeX
- Mariya Ivanova Soskova:
Cupping Classes of Enumeration Degrees.
554-566
Electronic Edition (link) BibTeX
- Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
Principal Typings for Explicit Substitutions Calculi.
567-578
Electronic Edition (link) BibTeX
- Jirí Wiedermann, Jan van Leeuwen:
How We Think of Computing Today.
579-593
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:01:35 2009
by Michael Ley (ley@uni-trier.de)