Equidistribution and sign-balance on 321-avoiding permutations.
Adin, Ron M., Roichman, Yuval (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Adin, Ron M., Roichman, Yuval (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Krattenthaler, C. (1992)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Guibert, O., Mansour, Toufik (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Robertson, Aaron (2003)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Fulmek, Markus, Kleber, Michael (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Bagno, Eli (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Mansour, Toufik (2004)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Biagioli, Riccardo, Zeng, Jiang (2009)
Séminaire Lotharingien de Combinatoire [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.
Bagno, Eli, Garber, David (2005)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Ton, Ta Viet (2009)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Mansour, Toufik (2001)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Regonati, Francesco (2009)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity: