Add to ORKGTire de : Journal of automated reasoning 8:39-44, 1992SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11836 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Unification algorithms are an essential component of automated reasoning and term rewriting systems....
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Version revue de CRIN - 89-R-167SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-n...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12878 / INIST-CNRS - ...
Publie dans : Lecture Notes in Artificial Intelligence, Subseries of LNCS, 624SIGLEAvailable at INIS...
. We show that deciding unification modulo both-sided distributivity of a symbol over a symbol + ca...
Publie dans : Proceedings 4th International conference rewriting techniques and applications, pages ...
Publie dans : \Proceedings 'DISCO '90', Capri (Italy), April 1990\SIGLEAvailable at INIST (FR), Docu...
SIGLEINIST T 73381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...
Programme 6 : calcul scientifique, modelisation et logiciels numeriquesAvailable at INIST (FR), Docu...
This note reports about the implementation of AC-unification algorithms, based on the variable-abstr...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Unification algorithms are an essential component of automated reasoning and term rewriting systems....
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Version revue de CRIN - 89-R-167SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-n...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12878 / INIST-CNRS - ...
Publie dans : Lecture Notes in Artificial Intelligence, Subseries of LNCS, 624SIGLEAvailable at INIS...
. We show that deciding unification modulo both-sided distributivity of a symbol over a symbol + ca...
Publie dans : Proceedings 4th International conference rewriting techniques and applications, pages ...
Publie dans : \Proceedings 'DISCO '90', Capri (Italy), April 1990\SIGLEAvailable at INIST (FR), Docu...
SIGLEINIST T 73381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...
Programme 6 : calcul scientifique, modelisation et logiciels numeriquesAvailable at INIST (FR), Docu...
This note reports about the implementation of AC-unification algorithms, based on the variable-abstr...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Unification algorithms are an essential component of automated reasoning and term rewriting systems....
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc