Sciweavers

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