Pascal Weil

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Manfred Kufleitner

> Home > Persons > Pascal Weil

Publications

2012
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-0713
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-0713
Manfred Kufleitner, Pascal Weil:
On logical hierarchies within FO²-definable languages. Log. Methods Comput. Sci. 8(3) (2012)
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DiekertKW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DiekertKW12
Volker Diekert, Manfred Kufleitner, Pascal Weil:
Star-free languages are Church-Rosser congruential. Theor. Comput. Sci. 454: 129-135 (2012)
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/KufleitnerW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/KufleitnerW12
Manfred Kufleitner, Pascal Weil:
The FO2 alternation hierarchy is decidable. CSL 2012: 426-439
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1203-6152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-6152
Manfred Kufleitner, Pascal Weil:
The FO^2 alternation hierarchy is decidable. CoRR abs/1203.6152 (2012)
2011
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1111-4300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4300
Volker Diekert, Manfred Kufleitner, Pascal Weil:
Star-Free Languages are Church-Rosser Congruential. CoRR abs/1111.4300 (2011)
2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KufleitnerW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KufleitnerW09
Manfred Kufleitner, Pascal Weil:
On FO2 Quantifier Alternation over Words. MFCS 2009: 513-524
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0904-2894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-2894
Manfred Kufleitner, Pascal Weil:
On FO2 quantifier alternation over words. CoRR abs/0904.2894 (2009)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.