Order:
Disambiguations
Anupam Das [3]Anupama Souri Das [1]
  1. Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021.Anupam Das & Sara Negri (eds.) - 2021
    No categories
     
    Export citation  
     
    Bookmark  
  2.  17
    Complexity of deep inference via atomic flows.Anupam Das - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 139--150.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Reimagining reservation.Anupama Souri Das - 2020 - In Murzban Jal & Jyoti Bawane (eds.), Theory and Praxis: Reflections on the Colonization of Knowledge. Routledge India.
    No categories
     
    Export citation  
     
    Bookmark  
  4. TABLEAUX 2021, LNAI 12842.Anupam Das & Sara Negri (eds.) - 2021
    No categories
     
    Export citation  
     
    Bookmark