Sciweavers

17 search results - page 1 / 4
» entcs 2011
Sort
View
ENTCS
2011
102views more  ENTCS 2011»
13 years 1 months ago
DES: A Deductive Database System
Fernando Sáenz-Pérez
ENTCS
2011
89views more  ENTCS 2011»
13 years 1 months ago
Information Processing in Convex Operational Theories
Howard Barnum, Alexander Wilce
ENTCS
2011
72views more  ENTCS 2011»
13 years 1 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
ENTCS
2011
61views more  ENTCS 2011»
13 years 1 months ago
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Alejandro Díaz-Caro, Pablo Arrighi, Manuel ...