most citedParaconsistent Machines and their Relation to Quantum Computing

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

quant-ph2008★ 3 cited

Paraconsistent Machines and their Relation to Quantum Computing

Juan C. Agudelo, Walter Carnielli

We describe a method to axiomatize computations in deterministic Turing machines. When applied to computations in non-deterministic Turing machines, this method may produce contrad…