107 citations · 174 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
quant-ph2016★ 19 cited
Non-signaling deterministic models for non-local correlations have to be uncomputable
Ariel Bendersky, Gabriel Senno, Gonzalo de la Torre +2
Quantum mechanics postulates random outcomes. However, a model making the same output predictions but in a deterministic manner would be, in principle, experimentally indistinguish…
cs.LO2016
Axiomatizations for downward XPath on Data Trees
Sergio Abriola, María Emilia Descotte, Raul Fervari +1
We give sound and complete axiomatizations for XPath with data tests by "equality" or "inequality", and containing the single "child" axis. This data-aware logic predicts over data…