Skip to main content
Leiden University
Scholarly Publications
Home
Submit
About
Select Collection
All collections
This collection
Academic speeches
Dissertations
Faculty of Archaeology
Faculty of Governance and Global Affairs
Faculty of Humanities
Faculty of Science
Faculty of Social and Behavioural Sciences
Leiden Journals, Conference Proceedings and Books
Leiden Law School
Leiden University Press
Medicine / Leiden University Medical Centre (LUMC)
Research output UL
Search box
Persistent URL of this record
https://hdl.handle.net/1887/3264278
Exit statistics
Documents
Download
3477143
Publisher's Version
open access
Full text at publishers site
Beta release
Statistics of
Completeness and complexity of reasoning about call-by-value in Hoare logic
Statistics for this year
Period
Visits
Downloads
2024
33
32
Statistics for the last 3 months
Period
Visits
Downloads
2024-09
6
6
2024-10
2
2
2024-11
2
2
