26 search results - page 1 / 6 » rta 2010 |
RTA
2010
Springer
13 years 8 months ago
2010
Springer
RTA
2010
Springer
13 years 8 months ago
2010
Springer
BMCBI
2010
13 years 4 months ago
2010
Background: The binding of peptide fragments of antigens to class II MHC is a crucial step in initiating a helper T cell immune response. The identification of such peptide epitop...
RTA
2010
Springer
13 years 3 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
RTA
2010
Springer
13 years 8 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...