Tag: computable relations

Primitive Recursive Relations

A primitive recursive relation is a type of relation definable using primitive…

Bossmind