Sciweavers

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