BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Greece
1 × Italy
1 × Japan
2 × United Kingdom
Collaborated with:
M.Zeitoun M.Bojanczyk L.Segoufin J.Hoppenbrouwers
Talks about:
languag (5) tree (4) regular (3) character (2) quantifi (2) altern (2) separ (2) order (2) logic (2) first (2)

Person: Thomas Place

DBLP DBLP: Place:Thomas

Contributed to:

LICS 20152015
ICALP (2) 20142014
CSL-LICS 20142014
ICALP (2) 20122012
LICS 20102010
ICALP (2) 20092009
CSL 20082008
ECDL 20002000

Wrote 9 papers:

LICS-2015-Place #quantifier #regular expression
Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
ICALP-v2-2014-PlaceZ #first-order #quantifier #word
Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (TP, MZ), pp. 342–353.
LICS-CSL-2014-PlaceZ #first-order #logic #regular expression
Separating regular languages with first-order logic (TP, MZ), p. 10.
ICALP-v2-2012-BojanczykP #infinity #regular expression #set
Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets (MB, TP), pp. 104–115.
ICALP-v2-2012-BojanczykP12a #towards
Toward Model Theory with Data Values (MB, TP), pp. 116–127.
LICS-2010-PlaceS #xpath
Deciding Definability in FO2(<) (or XPath) on Trees (TP, LS), pp. 253–262.
ICALP-v2-2009-PlaceS #decidability
A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
CSL-2008-Place #logic
Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.
ECDL-2000-PlaceH #distributed #library #named
Decomate: Unified Access to Globally Distributed Libraries (TP, JH), pp. 467–470.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.