Ready to preorder: an algebraic and general proof

  1. Frutos Escrig, d.D.
  2. Rodríguez, C.G.
  3. Palomino, M.
Aldizkaria:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Argitalpen urtea: 2009

Alea: 78

Zenbakia: 7

Orrialdeak: 539-551

Mota: Artikulua

DOI: 10.1016/J.JLAP.2008.09.001 GOOGLE SCHOLAR lock_openSarbide irekia editor