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:
2011
200920082006
2005
1992198819862018Wrote 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.