Results 1  10
of
37,810
Another involution principlefree bijective proof of Stanley’s hookcontent formula
 J. Combin. Theory Ser. A
, 1999
"... Abstract. Another bijective proof of Stanley’s hookcontent formula for the generating function for semistandard tableaux of a given shape is given that does not involve the involution principle of Garsia and Milne. It is the result of a merge of the modified jeu de taquin idea from the author’s pre ..."
Abstract

Cited by 19 (3 self)
 Add to MetaCart
previous bijective proof (“An involution principlefree bijective proof of Stanley’s hookcontent formula”, Discrete Math. Theoret. Computer Science, to appear) and the NovelliPakStoyanovskii bijection (Discrete Math. Theoret. Computer Science 1 (1997), 53–67) for the hook formula for standard Young
An involution principlefree bijective proof of Stanley's hookcontent formula
 J. Combin. Theory Ser. A
, 1998
"... this article is to give a bijective proof for Stanley's hookcontent formula [15, Theorem 15.3] for a certain plane partition generating function. In order to be able to state the formula we have to recall some basic notions from partition theory. A partition is a sequence = ( 1 ; 2 ; : : : ; ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
this article is to give a bijective proof for Stanley's hookcontent formula [15, Theorem 15.3] for a certain plane partition generating function. In order to be able to state the formula we have to recall some basic notions from partition theory. A partition is a sequence = ( 1 ; 2
A Bijective Proof Of The HookContent Formula For Super Schur Functions And A Modified Jeu De Taquin
 ELECTRONIC J. COMBIN. 3(2) (“THE FOATA FESTSCHRIFT”) R14
, 1996
"... A bijective proof of the product formula for the principal specialization of super Schur functions (also called hook Schur functions) is given using the combinatorial description of super Schur functions in terms of certain tableaux due to Berele and Regev. Our bijective proof is based on the Hil ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
A bijective proof of the product formula for the principal specialization of super Schur functions (also called hook Schur functions) is given using the combinatorial description of super Schur functions in terms of certain tableaux due to Berele and Regev. Our bijective proof is based
A Framework for Defining Logics
 JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
, 1993
"... The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed calculus with dependent types. Syntax is treated in a style similar to, but more general than, MartinLof's system of ariti ..."
Abstract

Cited by 807 (45 self)
 Add to MetaCart
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed calculus with dependent types. Syntax is treated in a style similar to, but more general than, MartinLof's system
The Semantics Of Constraint Logic Programs
 JOURNAL OF LOGIC PROGRAMMING
, 1996
"... This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract

Cited by 872 (14 self)
 Add to MetaCart
This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new
The selfduality equations on a Riemann surface
 Proc. Lond. Math. Soc., III. Ser
, 1987
"... In this paper we shall study a special class of solutions of the selfdual YangMills equations. The original selfduality equations which arose in mathematical physics were defined on Euclidean 4space. The physically relevant solutions were the ones with finite action—the socalled 'instanton ..."
Abstract

Cited by 524 (6 self)
 Add to MetaCart
In this paper we shall study a special class of solutions of the selfdual YangMills equations. The original selfduality equations which arose in mathematical physics were defined on Euclidean 4space. The physically relevant solutions were the ones with finite action—the socalled 'instantons'. The same equations may be
Results 1  10
of
37,810