Acyclicity Programming for Sigma-Protocols.

Masayuki Abe Miguel Ambrona Andrej Bogdanov Miyako Ohkubo Alon Rosen

Published in: TCC (1) (2021)

Keyphrases

programming language
object oriented programming
data exchange
programming environment
digital libraries
operating system
query answering
data sets
neural network
decision problems
multi party
communication protocol
communication protocols