Computable Models Spectra of Ehrenfeucht Theories

ResearchSpace Repository

Show simple item record

dc.contributor.author Gavryushkin, Alexander en
dc.contributor.editor Beckmann, A en
dc.contributor.editor Dimitracopoulos, C en
dc.contributor.editor Löwe, B en
dc.coverage.spatial Athens, Greece en
dc.date.accessioned 2012-03-29T19:26:17Z en
dc.date.issued 2008 en
dc.identifier.citation CiE 2008: Logic and Theory of Algorithms, Athens, Greece, 15 Jun 2008 - 20 Jun 2008. Editors: Beckmann A, Dimitracopoulos C, Löwe B. Fourth Conference on Computability in Europe, CiE 2008 - Local Proceedings. 500. 2008 en
dc.identifier.uri http://hdl.handle.net/2292/16074 en
dc.description.abstract Computability in Europe 2008 (CiE 2008), organised by the Graduate Program in Logic, Algorithms and Computation (MPLA) and the Department of History and Philosophy of Science of the University of Athens, takes place in Athens, Greece, 15 June - 20 June, 2008. CiE 2008 is the fourth of a newly evolving series of conferences under the heading Computability in Europe which started 2005 in Amsterdam as CiE 2005: New computational paradigms, and has been continued in Swansea CiE 2006: Logical approaches to computational barriers, and Siena CiE 2007: Computation and Logic in the Real World. The conference serves as an interdisciplinary forum, which deals with approaches to practical computational problems in many different areas. This includes Admissible sets Algorithms Analog computation Artificial intelligence Automata theory Bioinformatics Classical computability and degree structures Complexity classes Computability theoretic aspects of programs Computable analysis and real computation Computable structures and models Computational and proof complexity Computational learning and complexity Concurrency and distributed computation Constructive mathematics Cryptographic complexity Decidability of theories Derandomization DNA computing Domain theory and computability Dynamical systems and computational models Effective descriptive set theory Finite model theory Formal aspects of program analysis Formal methods Foundations of computer science Games Generalized recursion theory History of computation Hybrid systems Higher type computability Hypercomputational models Infinite time Turing machines Kolmogorov complexity Lambda and combinatory calculi L-systems and membrane computation Mathematical models of emergence Molecular computation Natural Computation Neural nets and connectionist models Philosophy of science and computation Physics and computability Probabilistic systems Process algebra Programming language semantics Proof mining Proof theory and computability Proof complexity Quantum computing and complexity Randomness Reducibilities and relative computation Relativistic computation Reverse mathematics Swarm intelligence Type systems and type theory Uncertain Reasoning Weak systems of arithmetic and applications en
dc.description.uri http://www.cs.swan.ac.uk/cie08/cie2008-local.pdf en
dc.relation.ispartof CiE 2008: Logic and Theory of Algorithms en
dc.relation.ispartofseries Fourth Conference on Computability in Europe, CiE 2008 - Local Proceedings en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title Computable Models Spectra of Ehrenfeucht Theories en
dc.type Conference Item en
pubs.begin-page 500 en
pubs.author-url http://www.cs.swan.ac.uk/cie08/ en
pubs.finish-date 2008-06-20 en
pubs.start-date 2008-06-15 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Abstract en
pubs.elements-id 316405 en
pubs.record-created-at-source-date 2012-03-09 en


Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse

Statistics