On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications

Bonotto, C., and 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 70 (1983): 13-19. <http://eudml.org/doc/107914>.

@article{Bonotto1983,
author = {Bonotto, C., Bressan, A.},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {synonymy; interpretations},
language = {eng},
pages = {13-19},
publisher = {Seminario Matematico of the University of Padua},
title = {On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications},
url = {http://eudml.org/doc/107914},
volume = {70},
year = {1983},
}

TY - JOUR
AU - Bonotto, C.
AU - Bressan, A.
TI - On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1983
PB - Seminario Matematico of the University of Padua
VL - 70
SP - 13
EP - 19
LA - eng
KW - synonymy; interpretations
UR - http://eudml.org/doc/107914
ER -