Redundancy in Distributed Proofs.

Laurent Feuilloley Pierre Fraigniaud Juho Hirvonen Ami Paz Mor Perry

Published in: CoRR (2018)

Keyphrases

distributed systems
multi agent
distributed environment
artificial intelligence
cooperative
communication cost
database
data sets
lightweight
mobile agents
computing environments
theorem proving
distributed data
loosely coupled
decision procedures
equational theories