Vince Bárány

Available identifiers

zbMath Open barany.vinceMaRDI QIDQ436330

List of research outcomes

Publication	Date of Publication	Type
SOME MODEL THEORY OF GUARDED NEGATION	2019-01-04	Paper
Declarative Probabilistic Programming with Datalog	2017-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2957484	2017-01-26	Paper
Guarded negation	2016-03-24	Paper
Querying the Guarded Fragment	2014-05-22	Paper
Rewriting Guarded Negation Queries	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4910735	2013-03-19	Paper
Finite satisfiability for guarded fixpoint logic	2012-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q3172381	2011-10-05	Paper
Guarded Negation	2011-07-07	Paper
Expressing cardinality quantifiers in monadic second-order logic over chains	2011-06-28	Paper
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees	2011-01-03	Paper
Cardinality Quantifiers in MLO over Trees	2009-11-12	Paper
Semi-synchronous transductions	2009-03-26	Paper
A Hierarchy of Automaticω-Words having a Decidable MSO Theory	2008-09-25	Paper
Regularity Problems for Visibly Pushdown Languages	2008-03-19	Paper
Invariants of Automatic Presentations and Semi-synchronous Transductions	2008-03-19	Paper

Research outcomes over time

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