Orderings, AC-theories and symbolic constraint solving
- Comon, H.
- Nieuwenhuis, R.
- Rubio, A.
Konferenzberichte:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Datum der Publikation: 1995
Seiten: 375-385
Art: Konferenz-Beitrag