skip to content
Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings Preview this item
ClosePreview this item
Checking...

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings

Author: Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe
Publisher: Berlin : Springer, 2008.
Series: Lecture notes in computer science, 5028.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Athen (2008)
Kongress
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe
ISBN: 9783540694052 3540694056
OCLC Number: 232124237
Notes: International conference proceedings.
Description: xix, 596 pages : illustrations ; 24 cm.
Contents: 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.- Many Facets of Complexity in Logic.- On the Computational Power of Enhanced Mobile Membranes.- Recursion in Higher Types and Resource Bounded Turing Machines.- Computability and Complexity in Self-assembly.- Extraction in Coq: An Overview.- Joining to High Degrees.- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.- Interpreting Localized Computational Effects Using Operators of Higher Type.- Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants.- Updatable Timed Automata with Additive and Diagonal Constraints.- First-Order Model Checking Problems Parameterized by the Model.- Domain Theory and the Causal Structure of Space-Time.- Recursion on Nested Datatypes in Dependent Type Theory.- Perfect Local Computability and Computable Simulations.- Complete Determinacy and Subsystems of Second Order Arithmetic.- Internal Density Theorems for Hierarchies of Continuous Functionals.- Two-by-Two Substitution Systems and the Undecidability of the Domino Problem.- The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.- Upper Semilattices in Many-One Degrees.- Union of Reducibility Candidates for Orthogonal Constructor Rewriting.- The Quantum Complexity of Markov Chain Monte Carlo.- Topological Dynamics of 2D Cellular Automata.- Complexity of Aperiodicity for Topological Properties of Regular ?-Languages.- ?-Degree Spectra.- Cupping Classes of Enumeration Degrees.- Principal Typings for Explicit Substitutions Calculi.- How We Think of Computing Today.
Series Title: Lecture notes in computer science, 5028.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: CiE 2008
Responsibility: Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/232124237> # Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "232124237" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792831135#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/algoritmos_teoria_congressos> ; # Algoritmos (teoria;congressos)
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/komplexitatstheorie> ; # Komplexitätstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/ciencia_da_computacao_congressos> ; # Ciência da computação (congressos)
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/berechenbarkeit> ; # Berechenbarkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/computational_intelligence> ; # Computational intelligence
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://id.loc.gov/authorities/subjects/sh85029469> ; # Computable functions
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/algorithms> ; # Algorithms
   schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/871995> ; # Computational intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/berechnungstheorie> ; # Berechnungstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/792831135#Topic/logica_simbolica_congressos> ; # Lógica simbólica (congressos)
   schema:alternateName "CiE 2008" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/62274720> ; # Arnold Beckmann
   schema:contributor <http://viaf.org/viaf/19975634> ; # Benedikt Löwe
   schema:contributor <http://viaf.org/viaf/19131893> ; # Costas Dimitracopoulos
   schema:creator <http://experiment.worldcat.org/entity/work/data/792831135#Meeting/conference_on_computability_in_europe_4th_2008_athens_greece> ; # Conference on Computability in Europe (4th : 2008 : Athens, Greece)
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792831135> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Athen (2008)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792831135#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792831135#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:name "Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings"@en ;
   schema:productID "232124237" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/232124237#PublicationEvent/berlin_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792831135#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016535326&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-69407-6> ;
   schema:url <http://d-nb.info/989084671/04> ;
   schema:url <http://swbplus.bsz-bw.de/bsz282507566cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540694052> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/232124237> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/792831135#Meeting/conference_on_computability_in_europe_4th_2008_athens_greece> # Conference on Computability in Europe (4th : 2008 : Athens, Greece)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/792831135#Place/athens_greece> ; # Athens, Greece)
   schema:name "Conference on Computability in Europe (4th : 2008 : Athens, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Place/athens_greece> # Athens, Greece)
    a schema:Place ;
   schema:name "Athens, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/232124237> ; # Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/232124237> ; # Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Topic/algoritmos_teoria_congressos> # Algoritmos (teoria;congressos)
    a schema:Intangible ;
   schema:name "Algoritmos (teoria;congressos)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Topic/ciencia_da_computacao_congressos> # Ciência da computação (congressos)
    a schema:Intangible ;
   schema:name "Ciência da computação (congressos)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
   schema:name "Komplexitätstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Topic/logica_simbolica_congressos> # Lógica simbólica (congressos)
    a schema:Intangible ;
   schema:name "Lógica simbólica (congressos)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792831135#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029469> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
   schema:name "Algorithms"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions"@en ;
    .

<http://id.worldcat.org/fast/871995> # Computational intelligence
    a schema:Intangible ;
   schema:name "Computational intelligence"@en ;
    .

<http://viaf.org/viaf/19131893> # Costas Dimitracopoulos
    a schema:Person ;
   schema:familyName "Dimitracopoulos" ;
   schema:givenName "Costas" ;
   schema:name "Costas Dimitracopoulos" ;
    .

<http://viaf.org/viaf/19975634> # Benedikt Löwe
    a schema:Person ;
   schema:familyName "Löwe" ;
   schema:givenName "Benedikt" ;
   schema:name "Benedikt Löwe" ;
    .

<http://viaf.org/viaf/62274720> # Arnold Beckmann
    a schema:Person ;
   schema:familyName "Beckmann" ;
   schema:givenName "Arnold" ;
   schema:name "Arnold Beckmann" ;
    .

<http://worldcat.org/isbn/9783540694052>
    a schema:ProductModel ;
   schema:isbn "3540694056" ;
   schema:isbn "9783540694052" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/232124237> ; # Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/232124237>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/232124237> ; # Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.