1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Klaus-Dieter Schewe
In this article choiceless polynomial time (CPT) is extended using non-determini\-stic Abstract State Machines (ASMs), which are restricted by three conditions: (1) choice is restr…