Vince Barany

Dr Vince Barany

Research Assistant

vbarany(a)comlab.ox.ac.uk
+441865283513

Room Room 358, Wolfson Building, Parks Road, Oxford OX1 3QD

Cardinality quantifiers in MLO over trees

Vince Barany, Lukasz Kaiser and Alexander Rabinovich

Vol. 5771 of LNCS, pages 117-131. 2009.

Details | BibTeX | Link (pdf)

Semi-synchronous transductions

Vince Barany

Acta Informatica, 2008.

Details | BibTeX | Link (pdf) | DOI (10.1007/s00236-008-0083-2)

Cardinality and counting quantifiers on omega-automatic structures

Lukasz Kaiser, Sasha Rubin and Vince Barany

In S. Albers, P. Weil, editors, Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 pages 385-396. 2008.

Details | BibTeX | Link

Information Systems

Databases