Travelled to:1 × Austria
1 × Germany
1 × Spain
1 × United Kingdom
Collaborated with:G.Dowek J.Grattage V.Nesme R.F.Werner
Talks about:quantum (3) dimension (2) cellular (2) confluenc (1) automaton (1) principl (1) configur (1) calculus (1) automata (1) vectori (1)
Person: Pablo Arrighi
DBLP: Arrighi:Pablo
Contributed to:
2012
2012
20102008
2008
2005Wrote 6 papers:
- ICALP-v2-2012-ArrighiD #graph
- Causal Graph Dynamics (PA, GD), pp. 54–66.
- DLT-J-2011-ArrighiD12 #physics #quantum
- The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
- LATA-2010-ArrighiG #automaton #quantum
- A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton (PA, JG), pp. 70–81.
- LATA-2008-ArrighiNW #automaton #bound #finite #quantum
- One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations (PA, VN, RFW), pp. 64–75.
- RTA-2008-ArrighiD #algebra #confluence #encoding #higher-order #λ-calculus
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence (PA, GD), pp. 17–31.
- WRLA-2004-ArrighiD05
- A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.