Unification modulo presburger arithmetic and other decidable theories

Autor

Ayala Rincón, Mauricio

Tavares Araújo, Ivan E.

Metadatos

Mostrar el registro completo del ítem

URI

http://test.repositoriodigital.com:8080/handle/123456789/13885

Colecciones

UNAB Revista Colombiana de Computación [207]