Orderings, AC-theories and symbolic constraint solving

  1. Comon, H.
  2. Nieuwenhuis, R.
  3. Rubio, A.
Konferenzberichte:
Proceedings - Symposium on Logic in Computer Science

ISSN: 1043-6871

Datum der Publikation: 1995

Seiten: 375-385

Art: Konferenz-Beitrag