1 search results - page 1 / 1 » Unary Resolution: Characterizing Ptime |
APAL
2005
13 years 4 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...