Deciding the existence of uniform interpolants over transitive models

Giovanna D Agostino, Giacomo Lenzi. Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log., 50(1-2):185-196, 2011. [doi]

Authors

Giovanna D Agostino

This author has not been identified. Look up 'Giovanna D Agostino' in Google

Giacomo Lenzi

This author has not been identified. Look up 'Giacomo Lenzi' in Google