Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Howard Straubing
Researcher
PaperAn introduction to finite automata and their connection to logicAuthorship / preprint / 2011PaperRegular languages defined by first-order formulas without quantifier alternationAuthorship / preprint / 2022PaperAn effective characterization of the alternation hierarchy in two-variable logicAuthorship / preprint / 2012PaperEF+EX Forest AlgebrasAuthorship / preprint / 2014PaperIncomplete Quadratic Exponential Sums in Several VariablesAuthorship / preprint / 2005PaperWreath Products of Forest Algebras, with Applications to Tree LogicsAuthorship / preprint / 2012PaperPiecewise testable tree languagesAuthorship / preprint / 2012PaperTwo-variable Logic with a Between PredicateAuthorship / preprint / 2016