Otto, Friedrich.
Overview
            | Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
                  
                  by: 
                  Fernau, Henning, (1965-); SpringerLink (Online service); Otto, Friedrich.; Workshop on the Preservation of Stability under Discretization ((2001 :); Martin Vide, Carlos.
                  (Language materials, printed)
                  
                  
                
                  
                    Restarting automata = extensions and generalizations /
                  
                  by: 
                  SpringerLink (Online service); Otto, Friedrich.
                  (Language materials, printed)
                  
                  
                
                  
                    Restarting automata = the standard type of restarting automaton and its variants /
                  
                  by: 
                  Otto, Friedrich.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Formal methods (Computer science)
              
            
              
                Formal languages
              
            
              
                Symbolic and Algebraic Manipulation.
              
            
              
                Formal Languages and Automata Theory.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.
              
            
              
                Computational Linguistics.
              
            
              
                Computation by Abstract Devices.
              
            
              
                Theory of Computation.
              
            
              
                Machine theory.
              
            
              
                Mathematics of Computing.
              
            
              
                Machine theory
              
            
              
                Computer Science.