mathematics

Image	Title	Body
	currying
	explicit form for currying
	Continuant polynomial
	non-deterministic Turing machine
	deterministic Turing machine
	Cook reduction
	Levin reduction
	oracle
	self-reducible
	universal Turing machine
	quantum nano-automata
	random Turing machine
	time complexity
	constructible
	counting complexity class