Sciweavers

Share
MSCS
2010
59views more  MSCS 2010»
8 years 2 months ago
Observing the superposition of a single particle with the vacuum
Luis Manuel Rico Gutierrez, Veiko Palge, Jacob Dun...
MSCS
2010
73views more  MSCS 2010»
8 years 2 months ago
Modal and mixed specifications: key decision problems and their complexities
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N...
MSCS
2010
104views more  MSCS 2010»
8 years 5 months ago
A note on accelerated Turing machines
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...
Cristian S. Calude, Ludwig Staiger
MSCS
2010
44views more  MSCS 2010»
8 years 5 months ago
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro
MSCS
2010
74views more  MSCS 2010»
8 years 5 months ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
MSCS
2010
65views more  MSCS 2010»
8 years 5 months ago
Domain representations of spaces of compact subsets
Ulrich Berger, Jens Blanck, Petter Kristian K&osla...
MSCS
2010
84views more  MSCS 2010»
8 years 5 months ago
Channel abstractions for network security
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
Michele Bugliesi, Riccardo Focardi
MSCS
2010
59views more  MSCS 2010»
8 years 5 months ago
Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella
books