Search CORE

2 research outputs found

On Relative and Probabilistic Finite Counterability

Author: Kupferman Orna
Vardi Gal
Publication venue: LIPIcs - Leibniz International Proceedings in Informatics. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Publication date: 01/01/2015
Field of study

Dagstuhl Research Online Publication Server

24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

Author: Annual Conference on Computer Science Logic 24. 2015 Berlin
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Publication date: 01/09/2015
Field of study

Digitale Bibliothek Thüringen

core

core