Sciweavers

264 search results - page 2 / 53
» entcs 2008
Sort
View
ENTCS
2008
64views more  ENTCS 2008»
13 years 5 months ago
A Hierarchy of Quantum Semantics
Simon Perdrix
ENTCS
2008
72views more  ENTCS 2008»
13 years 5 months ago
Coalgebraising Subsequential Transducers
Helle Hvid Hansen
ENTCS
2008
120views more  ENTCS 2008»
13 years 5 months ago
Characterizing Computable Analysis with Differential Equations
Manuel Lameiras Campagnolo, Kerry Ojakian
ENTCS
2008
78views more  ENTCS 2008»
13 years 5 months ago
The lambda-context Calculus
Murdoch Gabbay, Stéphane Lengrand