Numdam - Citations

Liste des citations dans Numdam pour : On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy

Rendiconti del Seminario Matematico della Università di Padova, Tome 69 (1983), pp. 63-76.

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 71 (1984), pp. 1-13.

Bonotto, C. ; Bressan, A.

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), pp. 13-19.