A verified Common Lisp implementation of Buchberger's algorithm in ACL2

  1. Medina-Bulo, I.
  2. Palomo-Lozano, F.
  3. Ruiz-Reina, J.-L.
Aldizkaria:
Journal of Symbolic Computation

ISSN: 0747-7171

Argitalpen urtea: 2010

Alea: 45

Zenbakia: 1

Orrialdeak: 96-123

Mota: Artikulua

DOI: 10.1016/J.JSC.2009.07.002 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus