Skip to main content
Article thumbnail
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


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):
  • (external link)
  • Suggested articles

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