Location of Repository

A logic for recursive programs

By W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1) Stephan, Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik and Kaiserslautern Univ. (Germany). Fachbereich Informatik

Abstract

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

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


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