Languages
          
        
        
      Devitt, Simon.
Overview
            | Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lanese, Ivan.; Devitt, Simon.
                  (Language materials, printed)
                  
                  
                
                  
                    Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
                  
                  by: 
                  Devitt, Simon.; SpringerLink (Online service); Lanese, Ivan.
                  (Language materials, printed)
                  , [http://id.loc.gov/vocabulary/relators/edt]
                  
                
                
          Subjects
          
            
              
                Computer logic
              
            
              
                Computer logic.
              
            
              
                Algorithm Analysis and Problem Complexity.
              
            
              
                Quantum Computing.
              
            
              
                Computer science.
              
            
              
                Logic design.
              
            
              
                Computers.
              
            
              
                Logic Design.
              
            
              
                Programming languages (Electronic computers)
              
            
              
                Reversible computing
              
            
              
                Programming Languages, Compilers, Interpreters.
              
            
              
                Programming languages (Electronic computers).
              
            
              
                Algorithms.
              
            
              
                Quantum computers.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Computation by Abstract Devices.