Effectiveness in RPL, with applications to continuous logic

Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian. Effectiveness in RPL, with applications to continuous logic. Annals of Pure and Applied Logic, 161(6):789-799, 2010. [doi]

Abstract

Abstract is missing.