affnon étiqueté
Universal Alternating Semiregular PolytopesBarry Monson, Egon Schulte
2020· article· en· Canadian Journal of Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
Constructeur de cohorte
4 299 418 travaux, canadiens par l’une de quatre routes.
Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.
La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
1 153 travaux dans la cohorte · sur 4 299 418page 12 sur 24
Les étiquettes couvrent 1 des 1 153 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.
Les prédictions distillées couvrent 1 153 des 1 153 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.
affnon étiqueté
Counting Lyndon FactorsAmy Glen, Jamie Simpson, W. F. Smyth
2017· article· en· The Electronic Journal of Combinatorics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affsans résuménon étiqueté
Undecidability of the Free Adjoint ConstructionRobert J. MacG. Dawson, Robert Paré, Dorette Pronk
2003· article· en· Applied Categorical Structures· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affsans résuménon étiqueté
Finite Nondeterminism vs. DFAs with Multiple Initial StatesAlexandros Palioudakis, Kai Salomaa, Selim G. Akl
2013· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
4
citations
affnon étiqueté
STATE-SIZE HIERARCHY FOR FINITE-STATE COMPLEXITYCristian S. Calude, Kai Salomaa, Tania Roblot
2012· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundnon étiqueté
Automatic sequences in negative bases and proofs of some conjectures of shevelevJeffrey Shallit, Sonja Linghui Shan, Kai Hsiang Yang
2023· article· en· RAIRO. Theoretical informatics and applications· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
venueno affsans résuménon étiqueté
Completely Regular Endomorphisms of Split Graphs.Ulrich Knauer, Apirat Wanichsombat
2014· article· en· Ars Combinatoria· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundsans résuménon étiqueté
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive FormulasSimone Bova, Hubie Chen, Matthew Valeriote
2010· article· en· Theory of Computing Systems· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Approximations of Additive Squares in Infinite WordsTom C. Brown
2012· article· en· Integers· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundnon étiqueté
Maximal Existential and Universal WidthCasey Keeler, Kai Salomaa
2023· article· en· Scientific Annals of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
STATE COMPLEXITY AND APPROXIMATIONYuan Gao, Sheng Yü
2012· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Disproving Hooley’s conjectureDaniel Fiorilli, Greg Martin
2022· article· en· Journal of the European Mathematical Society· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
State Complexity and the Monoid of Transformations of a Finite SetBryan Krawetz, John Lawrence, Jeffery O. Shallit
2003· preprint· en· ArXiv.org· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
fundno affnon étiqueté
Unicyclic Graphs Whose Completely Regular Endomorphisms form a MonoidRui Gu, Hailong Hou
2020· article· en· Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundsans résuménon étiqueté
A pattern sequence approach to Stern’s sequenceMichael James Coons, Jeffrey Shallit
2011· article· en· Discrete Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
The Size of the rth Smallest Component in Decomposable Structures with a Restricted PatternLi Dong, Zhicheng Gao, Daniel Panario
2007· article· en· Discrete Mathematics & Theoretical Computer Science· Computer Science
prédiction distillée:candidate · stsconsensus · aucune
4
citations
affnon étiqueté
SYNTACTIC COMPLEXITY OF ℛ- AND 𝒥-TRIVIAL REGULAR LANGUAGES2014· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
afffundsans résuménon étiqueté
On the size of partial derivatives and the word membership problemStavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
2021· article· en· Acta Informatica· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affsans résuménon étiqueté
Nondeterministic Tree Width of Regular LanguagesCezar Câmpeanu, Kai Salomaa
2015· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
4
citations
affsans résuménon étiqueté
Unambiguous Constrained AutomataMichaël Cadilhac, Alain Finkel, Pierre McKenzie
2012· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
4
citations
affsans résuménon étiqueté
Counting Subwords and Regular LanguagesCharles J. Colbourn, Ryan E. Dougherty, Thomas F. Lidbetter, Jeffrey Shallit
2018· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
4
citations
affsans résuménon étiqueté
On the size of inverse semigroups given by generatorsMartin Beaudry, Markus Holzer
2010· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · stsconsensus · aucune
3
citations
affsans résuménon étiqueté
Approximate Bit Vectors for Fast UnificationMatthew Skala, Gerald Penn
2011· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affnon étiqueté
Automatic Sets of Rational Numbers2015· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Scaling limits of permutation classes with a finite specification: a dichotomyFrédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin, Mickaël Maazoun, Adeline Pierrot
2019· preprint· en· arXiv (Cornell University)· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoidsJean Berstel, Christophe Reutenauer
2008· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · stsconsensus · aucune
3
citations
affsans résuménon étiqueté
A General View of ApproximationBernhard Banaschewski, Aleš Pultr
2006· article· en· Applied Categorical Structures· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
A New Approach to the Paperfolding SequencesDaniel Goč, Hamoon Mousavi, Luke Schaeffer, Jeffrey Shallit
2015· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+open_scienceconsensus · aucune
3
citations
affsans résuménon étiqueté
Existential and Universal Width of Alternating Finite AutomataYo-Sub Han, Sung-Min Kim, Sang‐Ki Ko, Kai Salomaa
2023· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affsans résuménon étiqueté
Semigroups that are factors of subdirectly irreducible semigroups by their monolithSydney Bulman‐Fleming, E. Hotzel, Jing Wang
2004· article· en· Algebra Universalis· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affvenuenon étiqueté
Yet Another Solution to the Burnside Problem for Matrix SemigroupsBenjamin Steinberg
2011· article· en· Canadian Mathematical Bulletin· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
3
citations
affnon étiqueté
NONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALSDaniel Goč, Alexandros Palioudakis, Kai Salomaa
2014· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined LabelsStavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young
2020· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Markoff–Lagrange spectrum and extremal numbersDamien Roy
2011· article· en· Acta Mathematica· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Tensor products and preservation of limits, for acts over monoidsSydney Bulman‐Fleming, Valdis Laan
2001· article· en· Semigroup Forum· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Asymptotic Density of Zimin WordsJoshua Cooper, Danny Rorabaugh
2016· article· en· Discrete Mathematics & Theoretical Computer Science· Computer Science
prédiction distillée:candidate · stsconsensus · aucune
3
citations
afffundnon étiqueté
Cubefree words with many squaresJames D. Currie, Narad Rampersad
2010· article· en· Discrete Mathematics & Theoretical Computer Science· Computer Science
prédiction distillée:candidate · metaepi_narrow+sts+scholarly_communicationconsensus · aucune
3
citations
affsans résuménon étiqueté
Language Decompositions, Primality, and Trajectory-Based OperationsKai Salomaa
2008· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affsans résuménon étiqueté
Improved Bounds on the Number of Automata Accepting Finite Languages2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affnon étiqueté
Properties of a ternary infinite wordJames D. Currie, Pascal Ochem, Narad Rampersad, Jeffrey Shallit
2023· article· en· RAIRO. Theoretical informatics and applications· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Codings of rotations on two intervals are fullAlexandre Blondin Massé, Srečko Brlek, Sebastien Labbé, Laurent Vuillon
2009· article· en· Electronic Notes in Discrete Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languagesNarad Rampersad, Jeffrey Shallit, Zonghao Xu
2009· preprint· en· ArXiv.org· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
afffundnon étiqueté
WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITYHoward Straubing, Pascal Tesson, Denis Thérien
2010· article· en· International Journal of Algebra and Computation· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
afffundnon étiqueté
Automatic sequences of rank twoJason P. Bell, Jeffrey Shallit
2022· article· en· RAIRO. Theoretical informatics and applications· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
THE DOT-DEPTH AND THE POLYNOMIAL HIERARCHIES CORRESPOND ON THE DELTA LEVELSBernd Borchert, Klaus-Jörn Lange, Frank Stephan, Pascal Tesson, Denis Thérien
2005· article· en· International Journal of Foundations of Computer Science· Computer Science
prédiction distillée:candidate · scholarly_communicationconsensus · aucune
3
citations
affsans résuménon étiqueté
Rudin-Shapiro Sums via Automata Theory and LogicNarad Rampersad, Jeffrey Shallit
2023· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affsans résuménon étiqueté
The search for a reduction in combinatory logic equivalent to <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>λ</mml:mi><mml:mi>β</mml:mi></mml:math>-reductionJonathan P. Seldin
2011· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affnon étiqueté
Circuits and expressions with non-associative gatesJoshua Berman, Arthur A. Drisko, F. Lemieu, Cristopher Moore, Denis Thérien
2002· preprint· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Tree Automata and Pigeonhole Classes of Matroids: IDaryl Funk, Dillon Mayhew, Mike Newman
2022· article· en· Algorithmica· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Decidability of Trajectory-Based EquationsMichael Domaratzki, Kai Salomaa
2004· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations