Les graphes orientes ponderes : un outil pour l'etude de la terminaison et de la complexite dans les systemes de reecritures et en programmation logique

Abstract

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc