The website of the University of Cádiz uses its own and third-party cookies to carry out analysis of use and measurement of traffic, as well as to allow the correct functioning in social networks, and in this way to improve your browsing experience.
If you want to configure cookies, press the button Customize Cookies. You can also access the cookie settings at any time from the corresponding link in the footer.
For more information about cookies you can consult the Cookies policy from the website of the University of Cádiz.
The following paper has been published on this journal:
|
A Verified Common Lisp Implementation of Buchberger’s Algorithm in ACL2 |
|
|
Year: 2010 Volume: 45 Number: 1 Inicial Page: 96 Final Page: 123 |
Authors:
-Medina Bulo, María Inmaculada -Palomo Lozano, Francisco -Ruiz Reina, Jose Luis
|
