#### Filter Results:

- Full text PDF available (25)

#### Publication Year

2000

2018

- This year (7)
- Last 5 years (22)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Thomas Place, Marc Zeitoun
- ICALP
- 2014

We investigate the quantifier alternation hierarchy in firstorder logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in formulas. We proveâ€¦ (More)

- Thomas Place, Lorijn van Rooijen, Marc Zeitoun
- MFCS
- 2013

Separation is a classical problem asking whether, given two sets belonging to some class, it is possible to separate them by a set from a smaller class. We discuss the separation problem for regularâ€¦ (More)

- Thomas Place
- 2015

We investigate the quantifier alternation hierarchy of first-order logic over finite words. To do so, we rely on the separation problem. For each level in the hierarchy, this problem takes twoâ€¦ (More)

- Thomas Place, Marc Zeitoun
- STACS
- 2015

We investigate two problems for a class C of regular word languages. The C-membership problem asks for an algorithm to decide whether an input language belongs to C. The C-separation problem asks forâ€¦ (More)

- Thomas Place, Luc Segoufin
- ICALP
- 2009

A regular tree language L is locally testable if membership of a tree in L depends only on the presence or absence of some fix set of neighborhoods in the tree. In this paper we show that it isâ€¦ (More)

- Mikolaj Bojanczyk, Thomas Place
- ICALP
- 2012

We define a variant of first-order logic that deals with data words, data trees, data graphs etc. The definition of the logic is based on Fraenkel-Mostowski sets (FM sets, also known as nominalâ€¦ (More)

- Thomas Place, Marc Zeitoun
- CSL-LICS
- 2014

Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regular input languagesâ€¦ (More)

- Thomas Place, Marc Zeitoun
- SIGLOG News
- 2015

In this survey, we present ideas developed until recently in order to understand the expressive power of logical fragments in the quantifier alternation hierarchy of first-order logic interpreted onâ€¦ (More)

- Mikolaj Bojanczyk, Thomas Place
- ICALP
- 2012

In this paper, we study boolean (not necessarily positive) combinations of open sets. In other words, we study positive boolean combinations of safety and reachability conditions. We give anâ€¦ (More)

- Thomas Place, Lorijn van Rooijen, Marc Zeitoun
- FSTTCS
- 2013

A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decideâ€¦ (More)