PubPeer
The online Journal club
login
create account
Home
Publications
Axioms for behavioural congruence of single-pass instruction sequences
arXiv (2017) -
Comments
arxiv: 1702.03511 issn: 2331-8422 doi: 10.7561/sacs.2017.2.111
J. A. Bergstra, C. A. Middelburg
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})