34 citations
- Laboratoire de Mesure du Carbone 14FR9 papers
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Université Paris-SaclayFR5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- École Normale Supérieure Paris-SaclayFR4 papers
- École PolytechniqueFR4 papers
- Mathématiques et Informatique pour la Complexité et les Systèmes3 papers
- CentraleSupélecFR2 papers
- Centre Inria de SaclayFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Atos (France)FR1 paper
Showing 2016Show all
2 papers · 1 filter
cs.DM2016★ 27 cited
Quantum Causal Graph Dynamics
Pablo Arrighi, Simon Martiel
Consider a graph having quantum systems lying at each node. Suppose that the whole thing evolves in discrete time steps, according to a global, unitary causal operator. By causal w…
cs.LO2016
Rules and derivations in an elementary logic course
Gilles Dowek
When teaching an elementary logic course to students who have a general scientific background but have never been exposed to logic, we have to face the problem that the notions of…