Conelikes and Ranker Comparisons

Viktor Henriksson, Manfred Kufleitner

Type: Book-Chapter

Publication Date: 2022-01-01

Citations: 0

DOI: https://doi.org/10.1007/978-3-031-20624-5_22

View Publication

Download PDF

Locations

Lecture notes in computer science - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Conelikes and Ranker Comparisons	2021	Viktor Henriksson Manfred Kufleitner
+	From algebra to logic: there and back again -- the story of a hierarchy	2014	Pascal Weil
+ PDF Chat	A Robust Class of Regular Languages	2008	Antonio Cano Gómez Jean-Éric Pin
+	Clifford-like calculus over lattices	1997	Jayme Vaz
+	The expressive power of Malitz quantifiers for linear orderings	1987	H. P. Tuschik
+	Separation and covering for group based concatenation hierarchies	2019	Thomas Place Marc Zeitoun
+	Separation and covering for group based concatenation hierarchies	2019	Thomas Place Marc Zeitoun
+ PDF Chat	The dissecting power of regular languages	2012	Tomoyuki Yamakami Yuichi Kato
+	The Word Problem for One-relation Monoids: A Survey	2021	Carl‐Fredrik Nyberg‐Brodda
+	The Word Problem for One-relation Monoids: A Survey	2021	Carl‐Fredrik Nyberg‐Brodda
+	${\mathcal C}$ -Varieties, Actions and Wreath Product	2006	Laura Chaubard
+	A survey on difference hierarchies of regular languages	2017	Olivier Carton Dominique Perrin Jean-Éric Pin
+ PDF Chat	Beatty Sequences for a Quadratic Irrational: Decidability and Applications	2024	Luke Schaeffer Jeffrey Shallit Stefan Zorcic
+ PDF Chat	The word problem for one-relation monoids: a survey	2021	Carl-Fredrik Nyberg-Brodda
+	Sperner theory in a difference of Boolean lattices	2002	Mark J. Logan
+ PDF Chat	ORDER ALGEBRAS	2002	I. Chajda R. Halaš
+ PDF Chat	Rankers over Infinite Words	2010	Luc Dartois Manfred Kufleitner Alexander Lauser
+	Enumerating regular languages in radix order	2023	Nadime Francis Victor Marsault
+	Definability of Linear Orders over Negative Equivalences	2016	N. Kh. Kasymov Andrey Morozov
+	The Covering Problem	2017	Thomas Place Marc Zeitoun

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (12)

Action	Title	Year	Authors
+ PDF Chat	The pseudovariety $J$ is hyperdecidable	1997	Jorge Almeida Marc Zeitoun
+	Pointlike sets: the finest aperiodic cover of a finite semigroup	1988	Karsten Henckell
+	On Pointlike Sets and Joins of Pseudovarieties	1998	Benjamin Steinberg
+	INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES	1991	C. J. Ash
+	On a Problem of Formal Logic	1930	Frank Plumpton Ramsey
+	Pointlike sets with respect to R and J	2007	Jorge Almeida José Carlos Costa Marc Zeitoun
+ PDF Chat	The Join Levels of the Trotter-Weil Hierarchy Are Decidable	2012	Manfred Kufleitner Alexander Lauser
+ PDF Chat	Going Higher in the First-Order Quantifier Alternation Hierarchy on Words	2014	Thomas Place Marc Zeitoun
+ PDF Chat	An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic	2017	Andreas Krebs Howard Straubing
+	The FO^2 alternation hierarchy is decidable	2012	Manfred Kufleitner Pascal Weil