Buscar
Mostrando ítems 1-1 de 1
Artículo
Efficient execution in an automated reasoning environment
(Cambridge University Press, 2008)
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the features supporting this method allow ...