Inproceedings,
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.
J. Lim, B. Monnot, S. Lin, and G. Piliouras.Blockchain, page 321-326. IEEE, (2021)
Meta data
- BibTeX key
- conf/blockchain2/LimMLP21
- entry type
- inproceedings
- booktitle
- Blockchain
- year
- 2021
- pages
- 321-326
- publisher
- IEEE
- crossref
- conf/blockchain2/2021
- ee
- https://doi.org/10.1109/Blockchain53845.2021.00051
- isbn
- 978-1-6654-1760-0
- url
- http://dblp.uni-trier.de/db/conf/blockchain2/blockchain2021.html#LimMLP21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/blockchain2/LimMLP21
%A Lim, Jin Xing
%A Monnot, Barnabé
%A Lin, Shaowei
%A Piliouras, Georgios
%B Blockchain
%D 2021
%E Xiang, Yang
%E Wang, Ziyuan
%E Wang, Honggang
%E Niemi, Valtteri
%I IEEE
%K dblp
%P 321-326
%T A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.
%U http://dblp.uni-trier.de/db/conf/blockchain2/blockchain2021.html#LimMLP21
%@ 978-1-6654-1760-0
@inproceedings{conf/blockchain2/LimMLP21,
added-at = {2022-01-31T00:00:00.000+0100},
author = {Lim, Jin Xing and Monnot, Barnabé and Lin, Shaowei and Piliouras, Georgios},
biburl = {https://www.bibsonomy.org/bibtex/203aff32587c07e6682c022fa59f5acb0/dblp},
booktitle = {Blockchain},
crossref = {conf/blockchain2/2021},
editor = {Xiang, Yang and Wang, Ziyuan and Wang, Honggang and Niemi, Valtteri},
ee = {https://doi.org/10.1109/Blockchain53845.2021.00051},
interhash = {40f0a489a7bbd2d9b160876b7db0cf08},
intrahash = {03aff32587c07e6682c022fa59f5acb0},
isbn = {978-1-6654-1760-0},
keywords = {dblp},
pages = {321-326},
publisher = {IEEE},
timestamp = {2024-04-10T01:03:12.000+0200},
title = {A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.},
url = {http://dblp.uni-trier.de/db/conf/blockchain2/blockchain2021.html#LimMLP21},
year = 2021
}