Publication
Interpolation and Quantifiers in Ortholattices
Publications associées (28)
Michaël Unser, Pakshal Narendra Bohra
Zhenzhu Meng, Yating Hu, Chenfei Shao
Daniel Kressner, Francesco Statti, Kathrin Beatrice Glau
Michaël Unser, Pakshal Narendra Bohra
Denis Gillet, Isabelle Barbara Marie-Hélène Cardia, Juan Carlos Farah, Maria Gaci