18 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
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…