11862 search results - page 236 / 2373 » Relative information completeness |
126
click to vote
JAVA
2000
Springer
15 years 7 months ago
2000
Springer
We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of di...
378
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
104
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the notions of a complete set of computably infinitary Π0 n relations on a structure, of the jump of a structure, and of admitting nth jump inversion.
109
click to vote
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
Backward and mixed chains of recurrences are introduced. A complete set of chains of recurrences manipulation tools is described. Applications of these tools, related to the safet...
128
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...