Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link
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