5066 search results - page 183 / 1014 » Spectra of structures and relations |
140
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
134
click to vote
IM
2008
15 years 5 months ago
2008
We analyze the structure of random graphs generated by the geographical threshold model. The model is a generalization of random geometric graphs. Nodes are distributed in space, a...
160
Voted
JSYML
2008
15 years 5 months ago
2008
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite B...
129
Voted
SYNTHESE
2008
15 years 5 months ago
2008
Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodne...
122
Voted
SYNTHESE
2008
15 years 5 months ago
2008
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...