Vince Barany
Interests
My research interests are centered around computational and algorithmic
problems in various logics over finitely presentable infinite structures. As
important tools I am also interested in automata theory, rewriting systems
and other formalism. My current work is in finite model theory for guarded
fragments of first-order logic, with areas of applications in data exchange,
description logics and descriptive complexity.
Selected Publications
-
Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
Vince Barany‚ Lukasz Kaiser and Alexander Rabinovich
2010.
Details about Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees | BibTeX data for Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees | Download (pdf) of Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
-
Querying the Guarded Fragment
Vince Barany‚ Georg Gottlob and Martin Otto
2010.
Details about Querying the Guarded Fragment | BibTeX data for Querying the Guarded Fragment | Download (pdf) of Querying the Guarded Fragment
-
Automata−based presentations of infinite structures
Vince Barany‚ Erich Graedel and Sasha Rubin
2010.
Details about Automata−based presentations of infinite structures | BibTeX data for Automata−based presentations of infinite structures | Download (pdf) of Automata−based presentations of infinite structures