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 × Finland
1 × France
1 × Italy
1 × Norway
3 × USA
Collaborated with:
M.Bojanczyk I.Walukiewicz L.Segoufin L.Chaubard J.Pin D.Thérien W.Thomas A.Krebs K.Lodaya P.K.Pandya
Talks about:
languag (4) algebra (3) regular (2) general (2) formula (2) order (2) logic (2) first (2) tree (2) nonregular (1)

Person: Howard Straubing

DBLP DBLP: Straubing:Howard

Contributed to:

CSL 20112011
LICS 20092009
LICS 20082008
LICS 20062006
DLT 20052005
ICALP 19921992
ICALP 19881988
ICALP 19861986
CSL 20182018

Wrote 9 papers:

CSL-2011-Straubing #algebra #finite #word
Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (HS), pp. 525–537.
LICS-2009-BojanczykSW #algebra #logic
Wreath Products of Forest Algebras, with Applications to Tree Logics (MB, HS, IW), pp. 255–263.
Piecewise Testable Tree Languages (MB, LS, HS), pp. 442–451.
LICS-2006-ChaubardPS #composition #first-order
First Order Formulas with Modular Predicates (LC, JÉP, HS), pp. 211–220.
DLT-2005-Straubing #regular expression
Inexpressibility Results for Regular Languages in Nonregular Settings (HS), pp. 69–77.
ICALP-1992-Straubing #complexity #first-order #power of
Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
ICALP-1988-StraubingTT #quantifier #regular expression
regular Languages Defined with Generalized Quantifiers (HS, DT, WT), pp. 561–575.
Semigroups and Languages of Dot-Depth 2 (HS), pp. 416–423.
CSL-2018-KrebsLPS #algebra #logic
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation (AK, KL, PKP, HS), p. 17.

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.