Favro, Giordano <1985>
(Università Ca' Foscari Venezia, 2016-02-04)
Nella prima parte della tesi definiamo due famiglie di insiemi, Mn e
Gn, dove n è un indice sui naturali, costituiti da termini muti
detti rispettivamente restricted regular mute e regular mute e definiti induttivamente. ...