Instantiations, Zippers and EPR Interpolation

Nikolaj Bjørner; Arie Gurfinkel; Konstantin Korovin; Ori Lahav

Instantiations, Zippers and EPR Interpolation

Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings
Pages	35-41
Number of pages	7
Publication status	Published - 2013

Access to Document

http://www.easychair.org/publications/?page=275044893

Cite this

@inproceedings{29ba8ea452bc4c228a09be2ac2dc9521,

title = "Instantiations, Zippers and EPR Interpolation",

author = "Nikolaj Bj{\o}rner and Arie Gurfinkel and Konstantin Korovin and Ori Lahav",

year = "2013",

language = "English",

pages = "35--41",

booktitle = "{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings",

}

Instantiations, Zippers and EPR Interpolation. / Bjørner, Nikolaj; Gurfinkel, Arie; Korovin, Konstantin et al.
{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. 2013. p. 35-41.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Instantiations, Zippers and EPR Interpolation

AU - Bjørner, Nikolaj

AU - Gurfinkel, Arie

AU - Korovin, Konstantin

AU - Lahav, Ori

PY - 2013

Y1 - 2013

M3 - Conference contribution

SP - 35

EP - 41

BT - {LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings

ER -