368 search results - page 18 / 74 » b 1998 |
DM
1998
13 years 7 months ago
1998
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...
PROCOMET
1998
13 years 9 months ago
1998
We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B
MA
1998
Springer
13 years 11 months ago
1998
Springer
COMBINATORICS
1998
13 years 7 months ago
1998
The number of noncrossing partitions of {1, 2, . . . , n} with fixed block sizes has a simple closed form, given by Kreweras, and coincides with the corresponding number for nonne...
IGPL
1998
13 years 7 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...