Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Plücker relations.
Fulmek, Markus, Kleber, Michael (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Fulmek, Markus, Kleber, Michael (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Azenhas, Olga, Mamede, Ricardo (2006)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Krattenthaler, C. (1992)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Fulmek, Markus (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Kovács, István (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Kuniba, Atsuo, Takagi, Taichiro (2010)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Similarity:
Mansour, Toufik (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Alanko, Samu, Crevals, Simon, Isopoussu, Anton, Östergård, Patric, Pettersson, Ville (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
A. Kfoury (1999)
Banach Center Publications
Similarity:
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
Dieker, A.B., Moriarty, J. (2009)
Electronic Communications in Probability [electronic only]
Similarity:
Nakanishi, Tomoki, Tateo, Roberto (2010)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Similarity:
Adin, Ron M., Roichman, Yuval (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity: