A Simple Proof of Vyalyi's Theorem and some Generalizations.

Lieuwe Vinkhuijzen André H. Deutz

Published in: Electron. Colloquium Comput. Complex. (2019)

Keyphrases

interactive theorem proving
information systems
highly reliable
search engine
social networks
decision making
von neumann