Cover von Quantitative strongest post opens in new tab

Quantitative strongest post

a calculus for reasoning about the flow of quantitative information : article
Search for this author
Year: 2022
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 2022, 6
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: ZHANG LINPENG Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2022
Publisher: New York, ACM
Works included: Dagstuhl Seminar 21225
opens in new tab
Search for this systematic
Search for this subject type
Description: 29 pp.
Series: Proceedings of the ACM on Programming Languages; 2022, 6
Participating parties: Search for this character Zhang, Linpeng; Kaminski, Benjamin Lucien
Media group: ARTICLE