Languages
          
        
        
      Lowe, Benedikt.
Overview
            | Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    New Computational Paradigms = Changing Conceptions of What is Computable /
                  
                  by: 
                  Sorbi, Andrea.; SpringerLink (Online service); Lowe, Benedikt.; Cooper, S. Barry.
                  (Language materials, printed)
                  
                  
                
                  
                    The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Bonizzoni, Paola.; Brattka, Vasco.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                  
                    Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
                  
                  by: 
                  SpringerLink (Online service); Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :)
                  (Language materials, printed)
                  
                  
                
                  
                    Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Dimitracopoulos, Costas.; Beckmann, Arnold.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                  
                    How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
                  
                  by: 
                  SpringerLink (Online service); Cooper, S. Barry.; Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dawar, Anuj.
                  (Language materials, printed)
                  
                  
                
                  
                    New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Torenvliet, Leen.; Lowe, Benedikt.; SpringerLink (Online service); Cooper, S. B.
                  (Language materials, printed)
                  
                  
                
                  
                    Classical and new paradigms of computation and their complexity hierarchies = papers of the conference "Foundations of the Formal Sciences III" /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Computable functions
              
            
              
                Bioinformatics.
              
            
              
                Algorithm Analysis and Problem Complexity.
              
            
              
                Math Applications in Computer Science.
              
            
              
                Symbolic and Algebraic Manipulation.
              
            
              
                Computational intelligence
              
            
              
                Theory of Computation.
              
            
              
                Computing Methodologies.
              
            
              
                Mathematics of Computing.
              
            
              
                Discrete Mathematics in Computer Science.
              
            
              
                Computational complexity
              
            
              
                Computer Science.
              
            
              
                Computational Biology/Bioinformatics.
              
            
              
                Algorithms.
              
            
              
                Computable functions.
              
            
              
                Mathematical Logic and Foundations.
              
            
              
                Computer science
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Philosophy.
              
            
              
                Quantum Computing, Information and Physics.
              
            
              
                Computation by Abstract Devices.
              
            
              
                Functions of complex variables
              
            
              
                Algorithms
              
            
              
                Logic, Symbolic and mathematical