Natasha Alechina's Publications

Interpolation for a sequent calculus of generalized quantifiers (1996)

By: N. Alechina

Download Information

N. Alechina (1996). " Interpolation for a sequent calculus of generalized quantifiers." Theorem Proving with Analytic Tableaux and Related methods. Proceedings of the 5th International Workshop TABLEAUX'96 (pp. 36 - 47).     ps.gz

Bibtex citation

@inproceedings{Alechina:96a,
author = "N. Alechina",
title = "{ Interpolation for a sequent calculus of generalized quantifiers}",
booktitle = "Theorem Proving with Analytic Tableaux and Related methods. Proceedings of the 5th International Workshop TABLEAUX'96",
editor = "P. Miglioli and U. Moscato and D. Mundici and M. Ornaghi",
year = "1996",
address = "Terrasini, Palermo Italy",
pages = "36 -- 47",
publisher = "Springer Lecture Notes in Artificial Intelligence 1071",
}

full list