PC 2022 PROGRAM PAPERS: EDITOR'S PREFACE
This volume contains the papers presented at PC 2022: Workshop on Proof Complexity 2022 held on July 31-August 1, 2022 in Haifa.
Olaf Beyersdorff
Jan Johannsen
Marc Vinyals
Jan Johannsen
Marc Vinyals
|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PC 2022 PROGRAM PAPERS: EDITOR'S PREFACE
This volume contains the papers presented at PC 2022: Workshop on Proof Complexity 2022 held on July 31-August 1, 2022 in Haifa. Olaf Beyersdorff
Jan Johannsen Marc Vinyals |
|