Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2104.03764
Cited By
Languages for Smart and Computable Contracts
8 April 2021
C. Clack
Re-assign community
ArXiv (abs)
PDF
HTML
Github (340★)
Papers citing
"Languages for Smart and Computable Contracts"
2 / 2 papers shown
SoK: Market Microstructure for Decentralized Prediction Markets (DePMs)
Nahid Rahman
Joseph Al-Chami
Jeremy Clark
115
1
0
17 Oct 2025
Logical foundations of Smart Contracts
International Conference on Logic Programming (ICLP), 2025
Kalonji Kalala
AILaw
LRM
84
1
0
13 Feb 2025
1
Page 1 of 1
