Search for Author All Reviews
	Straubing, Howard     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       An effective characterization of the alternation hierarchy in two-variable logic Krebs A., Straubing H. ACM Transactions on Computational Logic 18(4): 1-22, 2017.  Type: Article Many interesting properties of words can be described in a first-order language with variables (x, y, ...) for positions and two basic properties: x < y... Jul 6 2018     Actions, wreath products of C-varieties and concatenation product Chaubard L., Pin J., Straubing H. Theoretical Computer Science 356(1): 73-89, 2006.  Type: Article Varieties, as used in formal language theory, are families of languages or algebraic structures that are closed under some operations, typically under finite products and inverse morphisms. Let C define a class of mo...... Nov 14 2006     Finite automata, formal logic, and circuit complexity Straubing H., Birkhäuser Verlag, Basel, Switzerland, 1994.  Type: Book (9783764337193) The intended audience for this book is researchers and advanced students with a background in languages and automata, logic, and algebra. The book is devoted to the logical and algebraic aspects of automata theory, and the relation bet...... Apr 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy