Skip to main content

Journal of Automated Reasoning

Ausgabe 2/2022

Inhalt (3 Artikel)

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

Analyzing Read-Once Cutting Plane Proofs in Horn Systems

Piotr Wojciechowski, K. Subramani, R. Chandrasekaran