14 citations · 30 across the 3 of their papers we have counts for
1 paper · 2 filters
Alexander Chepurnoy, Vasily Kharin, Dmitry Meshkov
Turing-completeness of smart contract languages in blockchain systems is often associated with a variety of language features (such as loops). In opposite, we show that Turing-comp…