| 
      | 
  
  
    |   | 
    
          FB 3 
     | 
      | 
  
  
    |   | 
    
       Group BKB > 
Publications > 
Search > 
        | 
    Deutsch
 English
 | 
  
  
    |   | 
    
      Publications Search - Details
     | 
  
  
    |   | 
       
    
    
      
              
                      
              | Publication type: | 
              Article in Proceedings | 
             
                      
              | Author: | 
              Mihai Codescu | 
             
                      
              | Editor: | 
              Andrea Corradini, Ugo Montanari | 
             
                      
              | Title: | 
              Generalized Theoroidal Institution Comorphisms | 
             
                      
              | Book / Collection title: | 
              WADT 2008 | 
             
                      
              | Volume: | 
              5486 | 
             
                      
              | Page(s): | 
              88 – 101 | 
             
                      
              | Series: | 
              
                Lecture Notes in Computer Science               | 
             
                        
              | Year published: | 
              2009 | 
             
                      
              | Publisher: | 
              
                Springer               | 
             
                        
              | Status: | 
              
                Reviewed               | 
             
                      
            | Last updated: | 
            
              15. 10. 2009             | 
           
         
               | 
        | 
     
      Back to result list |  
     
     | 
      | 
  
  
    |   | 
      
       Author: Automatically generated page
     | 
      | 
  
  
    |   | 
    Group BKB  | 
    
      
        | Last updated: May 9, 2023   | 
          | 
       
  | 
      |