Sciweavers

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