Search the dblp DataBase

Publications of Author

1. Pablo Arrighi
   Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. [Citation Graph (0, 0)][DBLP]
   MFCS, 2006, pp:122-133 [Conf]
   
2. Pablo Arrighi
   Quantum Computation Explained to My Mother. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2003, v:80, n:, pp:134-142 [Journal]
   
3. Pablo Arrighi, Gilles Dowek
   A Computational Definition of the Notion of Vectorial Space. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:249-261 [Journal]
   
4. 
   On the Completeness of Quantum Computation Models. [Citation Graph (, )][DBLP]
   
   
5. 
   Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. [Citation Graph (, )][DBLP]
   
   
6. 
   One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. [Citation Graph (, )][DBLP]
   
   
7. 
   A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. [Citation Graph (, )][DBLP]
   
   
8. 
   Quantization of cellular automata. [Citation Graph (, )][DBLP]
   
   
9. 
   Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic [Citation Graph (, )][DBLP]
   
   
10. 
    A computational definition of the notion of vectorial space [Citation Graph (, )][DBLP]
    
    
11. 
    On the completeness of quantum computation models [Citation Graph (, )][DBLP]