Advanced Search  

Algorithmic equality in Heyting Arithmetic modulo Lisa Allali  
Summary: Algorithmic equality in Heyting Arithmetic modulo 

Source: Allali, Lisa  Laboratoire d’Informatique, École Polytechnique 

Collections: Computer Technologies and Information Sciences 