Liste des citations dans Numdam pour : On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications

Rendiconti del Seminario Matematico della Università di Padova, Tome 70 (1983), p. 13-19 / Harvested from Numdam

Bonotto, C. ; Bressan, A.

On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
Rendiconti del Seminario Matematico della Università di Padova, Tome 72 (1984), p. 1-13 / Harvested from Numdam