Error-free smart legal contracts without programmers

Research output: Contribution to journal › Conference paper

Original language	English
Pages (from-to)	387-389
Number of pages	3
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	385
DOIs	https://doi.org/10.4204/EPTCS.385.42
Publication status	Published - 2023
Event	39th International Conference on Logic Programming, ICLP 2023 - London, United Kingdom Duration: 9 Jul 2023 → 15 Jul 2023

Access to Document

@article{2b8d73fbf5c44066941d476149751f91,

title = "Error-free smart legal contracts without programmers",

author = "Kevin Purnell and Rolf Schwitter",

year = "2023",

doi = "10.4204/EPTCS.385.42",

language = "English",

volume = "385",

pages = "387--389",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "39th International Conference on Logic Programming, ICLP 2023 ; Conference date: 09-07-2023 Through 15-07-2023",

}

TY - JOUR

T1 - Error-free smart legal contracts without programmers

AU - Purnell, Kevin

AU - Schwitter, Rolf

PY - 2023

Y1 - 2023

UR - http://www.scopus.com/inward/record.url?scp=85173019459&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.385.42

DO - 10.4204/EPTCS.385.42

M3 - Conference paper

AN - SCOPUS:85173019459

SN - 2075-2180

VL - 385

SP - 387

EP - 389

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 39th International Conference on Logic Programming, ICLP 2023

Y2 - 9 July 2023 through 15 July 2023

ER -