Telecharger Cours

Hermitian K-theory for stable -categories I: Foundations - OPUS

The same effect can be achieved by splitting the input clauses in a1(x) ? a(x, y),. ¬a1(x) ?a(x, x) and ¬a2(x) ?¬a(x, z), a2(x) ?¬a(x, x), and ...



Download