Revistes Catalanes amb Accés Obert (RACO)

Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats

Francesc Tomàs

Text complet: PDF