5205 search results - page 96 / 1041 » Tilings and model theory |
CLIMA
2010
13 years 10 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
The concept of modularity appears to be crucial for many questions in the field of Artificial Life research. However, there have not been many quantitative measures for modularit...
IWFM
2003
13 years 10 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...