1805 search results - page 320 / 361 » A Theory of Closure Operators |
146
click to vote
JLP
2006
15 years 4 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
146
click to vote
SLOGICA
2008
15 years 4 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
CHK
1999
15 years 3 months ago
1999
: Niklas Luhmann died in November 1998. He had been elaborating his theory of the society for more than thirty years which has been well received in many quarters of society in the...
115
click to vote
JCB
1998
15 years 3 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...
165
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...