Sciweavers

69 search results - page 5 / 14
» mscs 2006
Sort
View
MSCS
2010
80views more  MSCS 2010»
14 years 7 months ago
On universal algebra over nominal sets
Alexander Kurz, Daniela Petrisan
MSCS
2010
59views more  MSCS 2010»
14 years 7 months ago
Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella
MSCS
2010
65views more  MSCS 2010»
14 years 7 months ago
Domain representations of spaces of compact subsets
Ulrich Berger, Jens Blanck, Petter Kristian K&osla...
MSCS
2010
74views more  MSCS 2010»
14 years 7 months ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
MSCS
2010
44views more  MSCS 2010»
14 years 7 months ago
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro