Vince Bárány

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SOME MODEL THEORY OF GUARDED NEGATION Journal of Symbolic Logic	2019-01-04	Paper
Declarative probabilistic programming with Datalog	2017-07-14	Paper
Decidable classes of documents for XPath	2017-01-26	Paper
Guarded negation Journal of the ACM	2016-03-24	Paper
Querying the Guarded Fragment Logical Methods in Computer Science	2014-05-22	Paper
Rewriting Guarded Negation Queries Mathematical Foundations of Computer Science 2013	2013-09-20	Paper
Cardinality and counting quantifiers on omega-automatic structures	2013-03-19	Paper
Finite satisfiability for guarded fixpoint logic Information Processing Letters	2012-07-20	Paper
Automata-based presentations of infinite structures	2011-10-05	Paper
Guarded negation Automata, Languages and Programming	2011-07-07	Paper
Expressing cardinality quantifiers in monadic second-order logic over chains Journal of Symbolic Logic	2011-06-28	Paper
Expressing cardinality quantifiers in monadic second-order logic over trees Fundamenta Informaticae	2011-01-03	Paper
Cardinality Quantifiers in MLO over Trees Computer Science Logic	2009-11-12	Paper
Semi-synchronous transductions Acta Informatica	2009-03-26	Paper
A Hierarchy of Automaticω-Words having a Decidable MSO Theory RAIRO - Theoretical Informatics and Applications	2008-09-25	Paper
Regularity Problems for Visibly Pushdown Languages STACS 2006	2008-03-19	Paper
Invariants of Automatic Presentations and Semi-synchronous Transductions STACS 2006	2008-03-19	Paper

Research outcomes over time

This page was built for person: Vince Bárány