Author: Alexander VERBOVETSKY
This paper is devoted to the horizontal ("characteristic") cohomology of systems of differential equations. Recent results on computing the horizontal cohomology via the compatibility complex are generalized. New results on the Vinogradov C-spectral sequence and the Krasil'shchik C-cohomology are obtained. As an application of general theory, the examples of an evolution equation and a p-form gauge theory are explicitly worked out.
20 pages, AMS-LaTeX 1.2 (based on LaTeX 2e). To compile source files
(.tex) one needs the title page style files