Om Swostik Mishra

Este artículo presenta un método para simplificar la eliminación de cuantificadores en la aritmética de Presburger.

Este artículo habla sobre el problema de la acotación en bases de datos de grafos y su importancia.