BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Arrighi:Pablo

Contributed to:

ICALP (2) 20122012
DLT 20112012
LATA 20102010
LATA 20082008
RTA 20082008
WRLA 20042005

Wrote 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.
A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.