Nondeterminism in logics of programs

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 1978

Pages: 203-213

Article

DOI: 10.1145/512760.512782

SO-VID: fcb002f3-288c-4357-ae9f-b41250c6a0ba

Conference name: the 5th ACM SIGACT-SIGPLAN symposium

Conference acronym: POPL '78

Conference number: 5

Conference location: Tucson, Arizona

Conference date: February 23, 1978 - February 25, 1978

Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages

Conference sponsor: SIGACT, ACM Special Interest Group on Algorithms and Computation Theory

History

ScienceOpen disciplines: Biochemistry,Animal science & Zoology

Data availability:

ScienceOpen disciplines: Biochemistry, Animal science & Zoology

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.