AC-unification race : the system solving approach and its implementation
- Adi, Mohamed
- Kirchner, Claude
- Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
DOIAbstract
Publie dans : \Proceedings 'DISCO '90', Capri (Italy), April 1990\SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10554 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Add to ORKG