paper
referenced-only
paper:nissim-the-analysis-of-cyclic-programs-1976

The Analysis of Cyclic Programs

External IDs

title_hash
f09445167be8b562fb9b0f03ad707a5cb9a48107
legacy_slug
nissim-the-analysis-of-cyclic-programs-1976
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1976,
  "title": "The Analysis of Cyclic Programs",
  "venue": "PhD Thesis, Weizmann Institute of Science, Rehovot, Israel",
  "authors": [
    "Francez, Nissim"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)