Sciweavers

8699 search results - page 91 / 1740
» Elements of the Theory of Computation
Sort
View
ENTCS
1998
63views more  ENTCS 1998»
13 years 8 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
CORR
2008
Springer
140views Education» more  CORR 2008»
13 years 9 months ago
Encapsulation theory fundamentals
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
Edmund Kirwan