`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: Straubing:Howard

### Contributed to:

### 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.
- LICS-2008-BojanczykSS
- 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.
- ICALP-1986-Straubing
- 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.