A total AC-compatible ordering based on RPO

  1. Rubio, A.
  2. Nieuwenhuis, R.
Aldizkaria:
Theoretical Computer Science

ISSN: 0304-3975

Argitalpen urtea: 1995

Alea: 142

Zenbakia: 2

Orrialdeak: 209-227

Mota: Artikulua

DOI: 10.1016/0304-3975(94)00276-2 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus