The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A programming language for the inductive sets, and applications

The work

AuthorsD. Harel; D. Kozen
Editors
Typeinproceedings
Year1982
Citekeyharel1982programming

Where it appeared

Published inAutomata, Languages and Programming (ICALP 1982)
PublisherSpringer
Pages313--329

How it got here

How it got hereagent via bibtex
Added2026-10-24 09:23 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@inproceedings{harel1982programming,
  title        = {A programming language for the inductive sets, and applications},
  author       = {D. Harel and D. Kozen},
  year         = {1982},
  booktitle    = {Automata, Languages and Programming (ICALP 1982)},
  publisher    = {Springer},
  pages        = {313--329},
}

This record lives at https://refs.drheap.org/harel1982programming/ and will keep doing so.