dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Vince Bárány (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVince Bárány, Lukasz Kaiser, Alexander Rabinovich: Expressing cardinality quantifiers in monadic second-order logic over chains. J. Symb. Log. 76(2): 603-619 (2011)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. Fundam. Inform. 100(1-4): 1-17 (2010)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVince Bárány, Lukasz Kaiser, Alexander Rabinovich: Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures CoRR abs/0802.2866: (2008)

Selection of 5 from 16 records - Vince Bárány has 10 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page