Raheleh Jalali Keshavarz

•  

• Preprints IM

• 	Select
  Year:	recent all 2019201820172016201520142013201220112010200920082007200620052004200320022001200019991998199719961995199419931992199119901989198819871986

•  
•  

• Recent 5

• • IM-2018-46  2018
  • Akbar Tabatabai Amirhossein, Jalali Keshavarz Raheleh
  • Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation

  x

  Associated with grants:
  FEALORA(339691)

   

• • IM-2018-45  2018
  • Akbar Tabatabai Amirhossein, Jalali Keshavarz Raheleh
  • Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

  x

  Associated with grants:
  FEALORA(339691)

   

•  
   
   
   
   
   
   
   
   
   
   
   
   
   
  
•  

• Home

• Research

•  

• CV

• Publications

• preprints IM

•  

IM AS CR R. Jalali Keshavarz MLTCS

last update: 01/10/2018