2373 search results - page 40 / 475 » On the Theory of Structural Subtyping |
137
click to vote
Lecture Notes
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
AMC
2000
14 years 9 months ago
2000
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
179
click to vote
CSL
2011
Springer
14 years 4 months ago
2011
Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...