Theorem proving with ordering and equality constrained clauses

  1. Nieuwenhuis, R.
  2. Rubio, A.
Aldizkaria:
Journal of Symbolic Computation

ISSN: 0747-7171

Argitalpen urtea: 1995

Alea: 19

Zenbakia: 4

Orrialdeak: 321-351

Mota: Artikulua

DOI: 10.1006/JSCO.1995.1020 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus