Author's details  
           
  Author's name :  PHILIPPE BALBIANI    
    Institute de Recherche en Informatique de Toulouse. E-mail address: balbiani@irit.fr      
           
  Today: 08-10-2024     
      
 
   Articles with the same author  
         
 
1.  PROVING THE DECIDABILITY OF THE PDL×PDL PRODUCT LOGIC.
          Authors: LÁSZLÓ ASZALÓS, PHILIPPE BALBIANI.

  
         
     
         
           
    Back to previous page