Brief Announcement

From MaRDI portal

Publication:5369004

Jump to:navigation, search

DOI10.1145/3087801.3087852zbMath1380.68329OpenAlexW2737396049MaRDI QIDQ5369004

Samuel Merten, Alexander Bagnall, Gordon Stewart

Publication date: 11 October 2017

Published in: Proceedings of the ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3087801.3087852

zbMATH Keywords

interactive theorem proving Coq multiplicative weights update method

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Uses Software

Coq

This page was built for publication: Brief Announcement

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5369004&oldid=20081331"

Pages with script errors