14 search results - page 1 / 3 » tableaux 2000 |
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
COMBINATORICS
2000
13 years 4 months ago
2000
We define a number of new combinatorial operations on skew semistandard domino tableaux that complement constructions defined by C. Carr
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
COMBINATORICS
2000
13 years 4 months ago
2000
In this paper, explicit formulae for the expectation and the variance of descent functions on random standard Young tableaux are presented. Using these, it is shown that the norma...