Coverart for item
The Resource Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings, Benedikt Löwe [and others] (eds.)

Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings, Benedikt Löwe [and others] (eds.)

Label
Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings
Title
Models of computation in context
Title remainder
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings
Statement of responsibility
Benedikt Löwe [and others] (eds.)
Title variation
CiE 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics
Member of
Cataloging source
GW5XE
Dewey number
511.3/52
Index
index present
LC call number
QA9.59
LC item number
.C66 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
Conference on Computability in Europe
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Löwe, Benedikt
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
6735
http://library.link/vocab/subjectName
  • Computable functions
  • Informatique
  • Computable functions
Label
Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings, Benedikt Löwe [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Frank Stephan
  • Splicing Systems: Accepting versus Generating
  • Eugenio Santos
  • Effective Categoricity of Injection Structures
  • Jeffrey B. Remmel
  • Consistency and Optimality
  • Moritz Muller
  • Cupping and Diamond Embeddings: A Unifying Approach
  • Guohua Wu
  • On the Kolmogorov Complexity of Continuous Real Functions
  • Machine generated contents note:
  • Amin Farjudian
  • Defining Languages by Forbidding-Enforcing Systems
  • Daniela Genova
  • Axiomatizing Resource Bounds for Measure
  • James S. Royer
  • Complexity Issues for Preorders on Finite Labeled Forests
  • Victor Selivanov -- ̂
  • Randomness and the Ergodic Decomposition
  • Mathieu Hoyrup
  • Computability of the Radon-Nikodym Derivative
  • Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
  • Klaus Weihrauch
  • Extracting Winning Strategies in Update Games
  • Jiamou Liu
  • Generalised Dynamical System, Infinite Time Register Machines, and II1/1-CA0
  • Philip D. Welch
  • Computability Power of Mobility in Enhanced Mobile Membranes
  • Gabriel Ciobanu
  • Nature-Based Problems in Cellular Automata
  • Martin Kutrib
  • Multi-Resolution Cellular Automata for Real Computation
  • Eric Thierry
  • Brian Patterson
  • Deciding According to the Shortest Computations
  • Florin Manea
  • Computation of Similarity -- Similarity Search as Computation
  • Klaus U. Schulz
  • Adapting Rabin's Theorem for Differential Fields
  • Alexey Ovchinnikov
  • Quantum Information Channels in Curved Spacetime
  • Prakash Panangaden
  • Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete
  • Three Theorems on n-REA Degrees: Proof-Readers and Verifiers
  • Emanuele Rodaro -- ̂
  • Consecutive Ones Property Testing: Cut or Swap
  • Mathieu Raffinot
  • Mingzhong Cai
  • Computational Approach to an Alternative Working Environment for the Constructible Universe
  • Merlin Carl
  • Automatic Learners with Feedback Queries
  • Ivan Georgiev
  • Towards an Axiomatic System for Kolmogorov Complexity
  • Antoine Taveneaux
  • New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based
  • Takuya Yamawaki
  • Conservative Extensions of Abstract Structures
  • Stefan Vatev
  • On a Hierarchy of Plus-Cupping Degrees
  • Guohua Wu
  • Note continued:
  • Current Developments on Computational Modeling Using P Systems
  • Agustin Riscos-Nunez
  • Automata on Ordinals and Linear Orders
  • Frank Stephan
  • Fine Hierarchy of w-Regular k-Partitions
  • Victor Selivanov
  • On a Relative Computability Notion for Real Functions
Control code
756912484
Dimensions
unknown
Extent
1 online resource (xiii, 318 pages).
Form of item
online
Isbn
9783642218750
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-21875-0
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-21874-3
Specific material designation
remote
System control number
(OCoLC)756912484
Label
Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings, Benedikt Löwe [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Frank Stephan
  • Splicing Systems: Accepting versus Generating
  • Eugenio Santos
  • Effective Categoricity of Injection Structures
  • Jeffrey B. Remmel
  • Consistency and Optimality
  • Moritz Muller
  • Cupping and Diamond Embeddings: A Unifying Approach
  • Guohua Wu
  • On the Kolmogorov Complexity of Continuous Real Functions
  • Machine generated contents note:
  • Amin Farjudian
  • Defining Languages by Forbidding-Enforcing Systems
  • Daniela Genova
  • Axiomatizing Resource Bounds for Measure
  • James S. Royer
  • Complexity Issues for Preorders on Finite Labeled Forests
  • Victor Selivanov -- ̂
  • Randomness and the Ergodic Decomposition
  • Mathieu Hoyrup
  • Computability of the Radon-Nikodym Derivative
  • Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
  • Klaus Weihrauch
  • Extracting Winning Strategies in Update Games
  • Jiamou Liu
  • Generalised Dynamical System, Infinite Time Register Machines, and II1/1-CA0
  • Philip D. Welch
  • Computability Power of Mobility in Enhanced Mobile Membranes
  • Gabriel Ciobanu
  • Nature-Based Problems in Cellular Automata
  • Martin Kutrib
  • Multi-Resolution Cellular Automata for Real Computation
  • Eric Thierry
  • Brian Patterson
  • Deciding According to the Shortest Computations
  • Florin Manea
  • Computation of Similarity -- Similarity Search as Computation
  • Klaus U. Schulz
  • Adapting Rabin's Theorem for Differential Fields
  • Alexey Ovchinnikov
  • Quantum Information Channels in Curved Spacetime
  • Prakash Panangaden
  • Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete
  • Three Theorems on n-REA Degrees: Proof-Readers and Verifiers
  • Emanuele Rodaro -- ̂
  • Consecutive Ones Property Testing: Cut or Swap
  • Mathieu Raffinot
  • Mingzhong Cai
  • Computational Approach to an Alternative Working Environment for the Constructible Universe
  • Merlin Carl
  • Automatic Learners with Feedback Queries
  • Ivan Georgiev
  • Towards an Axiomatic System for Kolmogorov Complexity
  • Antoine Taveneaux
  • New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based
  • Takuya Yamawaki
  • Conservative Extensions of Abstract Structures
  • Stefan Vatev
  • On a Hierarchy of Plus-Cupping Degrees
  • Guohua Wu
  • Note continued:
  • Current Developments on Computational Modeling Using P Systems
  • Agustin Riscos-Nunez
  • Automata on Ordinals and Linear Orders
  • Frank Stephan
  • Fine Hierarchy of w-Regular k-Partitions
  • Victor Selivanov
  • On a Relative Computability Notion for Real Functions
Control code
756912484
Dimensions
unknown
Extent
1 online resource (xiii, 318 pages).
Form of item
online
Isbn
9783642218750
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-21875-0
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-21874-3
Specific material designation
remote
System control number
(OCoLC)756912484

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...