Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
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 70
(1983),
p. 63-76
/ 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
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),
p. 13-19
/ Harvested from
Numdam