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

Pascal Weil (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


54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kufleitner, Pascal Weil: The FO2 alternation hierarchy is decidable. CSL 2012: 426-439
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kufleitner, Pascal Weil: The FO^2 alternation hierarchy is decidable CoRR abs/1203.6152: (2012)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kufleitner, Pascal Weil: On logical hierarchies within FO2-definable languages Logical Methods in Computer Science 8(3): (2012)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Manfred Kufleitner, Pascal Weil: Star-Free Languages are Church-Rosser Congruential CoRR abs/1111.4300: (2011)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kufleitner, Pascal Weil: On FO2 Quantifier Alternation over Words. MFCS 2009: 513-524
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kufleitner, Pascal Weil: On FO2 quantifier alternation over words CoRR abs/0904.2894: (2009)

Selection of 6 from 54 records - Pascal Weil has 26 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