Decision procedure for unitary linear quantum cellular automata

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1996, Pages 38-45

  Durr, Christoph ^a   Santha, Miklos ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

TIME EVOLUTION OPERATORS; UNITARY LINEAR QUANTUM CELLULAR AUTOMATA;

QUANTUM THEORY;

EID: 0030387107     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)