Om Swostik Mishra

Esse artigo apresenta um método pra simplificar a eliminação de quantificadores na aritmética de Presburger.

Este artigo fala sobre o problema da limitação em bancos de dados de grafos e sua importância.