@inproceedings{CSL-2015-KupfermanV,
author = "Orna Kupferman and Gal Vardi",
booktitle = "{24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany}",
doi = "10.4230/LIPIcs.CSL.2015.175",
isbn = "978-3-939897-90-3",
pages = "175--192",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{On Relative and Probabilistic Finite Counterability}",
volume = 41,
year = 2015,
}
Tags: