Sciweavers

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