Location of Repository

On proving properties of completion strategies

By Miki Hermann, 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN) 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. and 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN) Institut National Polytechnique de Lorraine (INPL)

Abstract

Proceedings RTA 91, Como (Italie), avril 1991, paru dans Lecture Notes in Computer science, v488 - <16343>SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10547 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Topics: 09H - Computer software, programming
Year: 1990
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/43... (external link)
  • Suggested articles


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