search result

Cover von Symmetric Proofs in the Ideal Proof System

Symmetric Proofs in the Ideal Proof System

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0