All Stories

  1. Some explicit axiomatizations for the theories of , and .

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Professor Saeed Salehi