18 citations · 32 across the 4 of their papers we have counts for
1 paper · 2 filters
Andrew Schumann
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-automa…