Sciweavers

18429 search results - page 381 / 3686
» Typing dynamic typing
Sort
View
COLING
2002
15 years 6 months ago
A Note on Typing Feature Structures
Shuly Wintner, Anoop Sarkar
COMBINATORICS
2002
58views more  COMBINATORICS 2002»
15 years 6 months ago
Triangle Free Sets and Arithmetic Progressions - Two Pisier Type Problems
Dennis Davenport, Neil Hindman, Dona Strauss
111
Voted
ENTCS
2000
52views more  ENTCS 2000»
15 years 6 months ago
Developing Theories of Types and Computability via Realizability
Lars Birkedal
DCG
2002
81views more  DCG 2002»
15 years 6 months ago
Separoids, Their Categories and a Hadwiger-Type Theorem for Transversals
In this paper we study the topology of transversals to a family of convex sets as a subset of a Grassmanian manifold. This topology seems to be ruled by a combinatorial structure w...
Jorge L. Arocha, Javier Bracho, Luis Montejano, D....
EJC
2002
15 years 6 months ago
Bases in Orlik-Solomon Type Algebras
The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal (M) generated by the boundaries of the circuits of the matroid. There i...
David Forge