A computational definition of the notion of vectorial space

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 249-261

  Arrighi, Pablo ^a   Dowek, Gilles ^b  

^a Université de Marne la Vallée   (France)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Bilinear function; Rewrite system; Tensorial product; Vectorial space

Indexed keywords

ALGORITHMS; FUNCTIONS; MATHEMATICAL TRANSFORMATIONS; QUANTUM CRYPTOGRAPHY; TENSORS; VECTORS;

BILINEAR FUNCTIONS; REWRITE SYSTEMS; TENSORIAL PRODUCTS; VECTORIAL SPACE;

COMPUTATIONAL METHODS;

EID: 12344259624     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.013     Document Type: Conference Paper

References (3)

1. P. Arrighi and G. Dowek, Operational semantics for formal tensorial calculus, 2nd International Workshop on Quantum Programming Languages, Helsinki, 2004
2. N. Dershowitz, and J.-P. Jouannaud Handbook of theoretical computer science (vol. B): formal models and semantics 1991 MIT Press
3. G.E. Peterson, and M.E. Stickel Complete sets of reductions for some equational theories Journal of the ACM 28 2 1981 233 264