Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Charles F. Dunkl |
Singular Nonsymmetric Jack Polynomials for Some Rectangular Tableaux. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
15 | |
FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2-6, 2019. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jang Soo Kim, Meesue Yoo |
Product formulas for certain skew tableaux. |
Eur. J. Comb. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ayaka Ishikawa |
An Explicit Formula Enumerating the Finely Bounded Trees Using Young Tableaux. |
Graphs Comb. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Wernhard |
Craig Interpolation with Clausal First-Order Tableaux. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Linh Anh Nguyen |
ExpTime Tableaux with Global Caching for Hybrid PDL. |
J. Autom. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Hitczenko, Aleksandr Yaroslavskiy |
Asymptotic normality of the number of corners in tableaux associated with the partially asymmetric simple exclusion process. |
Random Struct. Algorithms |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Brice Huang |
Cyclic descents for general skew tableaux. |
J. Comb. Theory, Ser. A |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chu Min Li, Felip Manyà, Amanda Vidal |
Tableaux for Maximum Satisfiability in Łukasiewicz Logic. |
ISMVL |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
One-Pass Context-Based Tableaux Systems for CTL and ECTL. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dan E. Willard |
On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rosena R. X. Du, Xiaojie Fan, Yue Zhao |
Enumeration on Row-Increasing Tableaux of Shape 2 × n. |
Electron. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Young-Tak Oh, Euiyong Park |
Crystals, Semistandard Tableaux and Cyclic Sieving Phenomenon. |
Electron. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Justyna Kosakowska, Markus Schmidmeier, Hugh Thomas |
Two Partial Orders for Standard Young Tableaux. |
Electron. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | George Wang |
A Cornucopia of Quasi-Yamanouchi Tableaux. |
Electron. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Dorota Leszczynska-Jasion, Szymon Chlebowski |
Synthetic Tableaux with Unrestricted Cut for First-Order Theories. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Neil J. Y. Fan, Peter L. Guo, Sophie C. C. Sun |
Proof of a Conjecture of Reiner-Tenner-Yong on Barely Set-Valued Tableaux. |
SIAM J. Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Grigory K. Olkhovikov, Heinrich Wansing |
Simplified Tableaux for STIT Imagination Logic. |
J. Philos. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Cyril Banderier, Philippe Marchal, Michael Wallner 0001 |
Periodic Pólya Urns, the Density Method, and Asymptotics of Young Tableaux. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Agathoklis Kritsimallis, Ioannis Refanidis |
ExpTime Tableaux for Type PDL. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Ekaterina A. Vassilieva, Alina R. Mayorova |
A new link between the descent algebra of type B, domino tableaux and Chow's quasisymmetric functions. |
Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Neil J. Y. Fan |
Standard Rothe tableaux. |
Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Anthony Mendes |
The combinatorics of rim hook tableaux. |
Australas. J Comb. |
2019 |
DBLP BibTeX RDF |
|
15 | Rebecca Patrias |
Promotion on generalized oscillating tableaux and web rotation. |
J. Comb. Theory, Ser. A |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vasu Tewari, Stephanie van Willigenburg |
Permuted composition tableaux, 0-Hecke algebra and labeled binary trees. |
J. Comb. Theory, Ser. A |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001, Carlos Areces, Pablo F. Castro |
A Tableaux Calculus for Default Intuitionistic Logic. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio |
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yaroslav I. Petrukhin, Michal Zawidzki |
From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
15 | José Martín Castro-Manzano |
Tableaux for Murphree's numerical term logic. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
15 | José Martín Castro-Manzano |
Murphree's Numerical Term Logic Tableaux. |
LANMR (Selected Papers) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Bury |
Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT). |
|
2019 |
RDF |
|
15 | Inès Dabbebi |
Conception et génération dynamique de tableaux de bord d'apprentissage contextuels. (Design and dynamic generation of contextual Learning Analytics dashboards). |
|
2019 |
RDF |
|
15 | Guo-Niu Han, Huan Xiong |
Polynomiality of Certain Average Weights for Oscillating Tableaux. |
Electron. J. Comb. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Edwin Diday |
Pouvoir explicatif et discriminant de variables et de tableaux de données symboliques. |
Monde des Util. Anal. Données |
2018 |
DBLP BibTeX RDF |
|
15 | Paul Drube, Nichole Smith |
Jeu de Taquin of Set-Valued Young Tableaux. |
J. Integer Seq. |
2018 |
DBLP BibTeX RDF |
|
15 | Alejandro H. Morales, Igor Pak, Greta Panova |
Asymptotics of the number of standard Young tableaux of skew shape. |
Eur. J. Comb. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Olya Mandelshtam, Xavier Gérard Viennot |
Rhombic alternative tableaux and assemblées of permutations. |
Eur. J. Comb. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Michael Peter Lettmann, Nicolas Peltier |
A Tableaux Calculus for Reducing Proof Size. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Cyril Banderier, Philippe Marchal, Michael Wallner 0001 |
Rectangular Young tableaux with local decreases and the density method for uniform random generation (short version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Richard Zach |
Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Cyril Banderier, Philippe Marchal, Michael Wallner 0001 |
Periodic Pólya urns and an application to Young tableaux. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Michael Färber 0002, Cezary Kaliszyk, Josef Urban |
Machine Learning Guidance and Proof Certification for Connection Tableaux. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Christoph Wernhard |
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Olivier Hermant |
Polarized Rewriting and Tableaux in B Set Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Ping Sun |
Enumeration formulas for standard Young tableaux of nearly hollow rectangular shapes. |
Discret. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yanjun Li |
Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions. |
J. Log. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Paul Drube, Maxwell Krueger, Ashley Skalsky, Meghan Wren |
Set-valued Young tableaux and product-coproduct prographs. |
Australas. J Comb. |
2018 |
DBLP BibTeX RDF |
|
15 | Paul Drube |
Set-valued tableaux and generalized Catalan numbers. |
Australas. J Comb. |
2018 |
DBLP BibTeX RDF |
|
15 | Olya Mandelshtam, Xavier Gérard Viennot |
Tableaux combinatorics of the two-species PASEP. |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sami Assaf, Dominic Searles |
Kohnert tableaux and a lifting of quasi-Schur functions. |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Victor Reiner, Bridget Eileen Tenner, Alexander Yong |
Poset edge densities, nearly reduced words, and barely set-valued tableaux. |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Martin Sulzmann, Peter Thiemann 0001 |
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Simon Docherty, David J. Pym |
Modular Tableaux Calculi for Separation Theories. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Michael Peter Lettmann, Nicolas Peltier |
A Tableaux Calculus for Reducing Proof Size. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Hermant |
Polarized Rewriting and Tableaux in B Set Theory. |
SETS@ABZ |
2018 |
DBLP BibTeX RDF |
|
15 | Cyril Banderier, Philippe Marchal, Michael Wallner 0001 |
Periodic Pólya Urns and an Application to Young Tableaux. |
AofA |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Hitczenko, Aleksandr Yaroslavskiy |
Distribution of the Number of Corners in Tree-like and Permutation Tableaux. |
AofA |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Cyril Banderier, Philippe Marchal, Michael Wallner 0001 |
Rectangular Young tableaux with local decreases and the density method for uniform random generation. |
GASCom |
2018 |
DBLP BibTeX RDF |
|
15 | José Martín Castro-Manzano |
A tableaux method for term logic. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
15 | Mamadou Diop |
Décomposition booléenne des tableaux multi-dimensionnels de données binaires: une approche par modèle de mélange post non-linéaire. (Boolean decomposition of binary multidimensional arrays using a post nonlinear mixture model). |
|
2018 |
RDF |
|
15 | Jiangchao Liu |
Static Analysis on Numeric and Structural Properties of Array Contents. (Analyse statique des propriétés numériques et structurelles du contenu des tableaux). |
|
2018 |
RDF |
|
15 | Alyssa Imbert |
Intégration de données complexes et hétérogènes à partir de tableaux de tailles différentes. |
|
2018 |
RDF |
|
15 | Paul Drube |
Generating Functions for Inverted Semistandard Young Tableaux and Generalized Ballot Numbers. |
Electron. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Pechenik |
Promotion of Increasing Tableaux: Frames and Homomesies. |
Electron. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhousheng Mei, Suijie Wang |
Pattern Avoidance and Young Tableaux. |
Electron. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ping Sun |
Enumeration of Standard Young Tableaux of Shifted Strips with Constant Width. |
Electron. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Sherry H. F. Yan, Robin D. P. Zhou |
Refined Enumeration of Corners in Tree-like Tableaux. |
Discret. Math. Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matthieu Josuat-Vergès |
Stammering tableaux. |
Discret. Math. Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joanna N. Chen, Robin D. P. Zhou |
On the sign-imbalance of permutation tableaux. |
Adv. Appl. Math. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan |
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Linh Anh Nguyen |
ExpTime Tableaux with Global Caching for Hybrid PDL. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Shinnosuke Mizutani, Naoki Nishida 0001 |
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. |
WPTE@FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Martin Sulzmann, Peter Thiemann 0001 |
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Man Wai Cheung, Christian Ikenmeyer, Sevak Mkrtchyan |
Symmetrizing tableaux and the 5th case of the Foulkes conjecture. |
J. Symb. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Dilks, Oliver Pechenik, Jessica Striker |
Resonance in orbits of plane partitions and increasing tableaux. |
J. Comb. Theory, Ser. A |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Agathoklis Kritsimallis |
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ali Hassan, Sandro Bimonte |
Tableaux de bord adaptifs pour le Spatial OLAP. |
EDA |
2017 |
DBLP BibTeX RDF |
|
15 | Carlos Areces, Raul Fervari, Nahuel Seiler |
Tableaux for Hybrid XPath with Data. |
EPIA |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Agnieszka Kulacka |
Propositional fuzzy logics: tableaux and strong completeness. |
|
2017 |
RDF |
|
15 | Linh Anh Nguyen |
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. |
Fundam. Informaticae |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Hitczenko, Amanda Lohss |
Corners in Tree-Like Tableaux. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Per Alexandersson |
Polynomials Defined by Tableaux and Linear Recurrences. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Paul Drube |
Inversions of Semistandard Young Tableaux. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Christian Gaetz, Michelle Mastrianni, Rebecca Patrias, Hailee Peck, Colleen Robichaux, David Schwein, Ka Yu Tam |
K-Knuth Equivalence for Increasing Tableaux. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Anton Dochtermann |
Face Rings of Cycles, Associahedra, and Standard Young Tableaux. |
Electron. J. Comb. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ran Pan, Jeffrey B. Remmel |
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays. |
Discret. Math. Theor. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Alice L. L. Gao, Emily X. L. Gao, Patxi Laborde-Zubieta, Brian Y. Sun |
Enumeration of Corners in Tree-like Tableaux. |
Discret. Math. Theor. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Dohan Kim 0001 |
Representations of task assignments in distributed systems using Young tableaux and symmetric groups. |
Int. J. Parallel Emergent Distributed Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mark Reynolds 0001 |
A New Rule for LTL Tableaux. |
GandALF |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Carol J. Wang |
Permutation Tableaux, Restricted Set Partitions and Labeled Dyck Paths. |
Ars Comb. |
2016 |
DBLP BibTeX RDF |
|
15 | Amanda Lohss |
The asymptotic distribution of symbols on diagonals of random weighted staircase tableaux. |
Random Struct. Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
15 | John M. Campbell |
Bipieri tableaux. |
Australas. J Comb. |
2016 |
DBLP BibTeX RDF |
|
15 | Héloïse Alhéritière, Florence Cloppet, Camille Kurtz, Nicole Vincent |
Utilisation de la couleur pour l'extraction de tableaux dans des images de documents. |
CORIA-CIFED |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Vasu Tewari |
Backward Jeu de Taquin Slides for Composition Tableaux and a Noncommutative Pieri Rule. |
Electron. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ping Sun |
Evaluating the Numbers of some Skew Standard Young Tableaux of Truncated Shapes. |
Electron. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sam Hopkins 0002, Ingrid Zhang |
A Note on Statistical Averages for Oscillating Tableaux. |
Electron. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Carol J. Wang, Zhongjin Chen |
The parity of the number of permutation tableaux in a fixed shape. |
Appl. Math. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Colin Mallows, Robert J. Vanderbei |
Which Young Tableaux Can Represent an Outer Sum? |
J. Integer Seq. |
2015 |
DBLP BibTeX RDF |
|
15 | Soojin Cho, Kyoungsuk Park |
Permutation statistics and weak Bruhat order in permutation tableaux of type B. |
Eur. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Robert A. Proctor, Matthew J. Willis |
Semistandard tableaux for Demazure characters (key polynomials) and their atoms. |
Eur. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|