Location of Repository

Elements pour la decidabilite de l'unification modulo la distributivite

By Evelyne Contejean

Abstract

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82457 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Topics: 090 - Electronics and electrical engineering, computer science, general
Year: 1992
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/10068/39... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.