The proceedings contain 78 papers. The topics discussed include: shifting and lifting of cellular automata; learning as data compression; a classification of viruses through recursion theorems; characterizing programming systems allowing program self-reference; thin maximal antichains in the turing degrees; effective computation for nonlinear systems; time-complexity semantics for feasible affine recursions; feasible depth; a continuous derivative for real-valued functions; refocusing generalised normalisation; parameterized complexity and logic; index sets of computable structures with decidable theories; operational semantics for positive relevant logics without distribution; unique existence and computability in constructive reverse mathematics; circuit complexity of regular language; definability in the homomorphic quasiorder of finite labeled forests; and membrane systems and their application to systems biology.

Cooper, S.B., Loewe, B., Sorbi, A. (a cura di). (2007). Computation and Logic in the Real World. Berlin : Springer-Verlag [10.1007/978-3-540-73001-9].

Computation and Logic in the Real World

SORBI, ANDREA
2007-01-01

Abstract

The proceedings contain 78 papers. The topics discussed include: shifting and lifting of cellular automata; learning as data compression; a classification of viruses through recursion theorems; characterizing programming systems allowing program self-reference; thin maximal antichains in the turing degrees; effective computation for nonlinear systems; time-complexity semantics for feasible affine recursions; feasible depth; a continuous derivative for real-valued functions; refocusing generalised normalisation; parameterized complexity and logic; index sets of computable structures with decidable theories; operational semantics for positive relevant logics without distribution; unique existence and computability in constructive reverse mathematics; circuit complexity of regular language; definability in the homomorphic quasiorder of finite labeled forests; and membrane systems and their application to systems biology.
2007
9783540730002
978-3-540-73001-9
Cooper, S.B., Loewe, B., Sorbi, A. (a cura di). (2007). Computation and Logic in the Real World. Berlin : Springer-Verlag [10.1007/978-3-540-73001-9].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/388905