FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Formalized Signature Extension Results for Equivalence

Alexander Lochmann, Fabian Mitterwallner and Aart Middeldorp

Development Closed Critical Pairs: Towards a Formalized Proof

Christina Kohl and Aart Middeldorp

On Local Confluence of Conditional Rewriting

Salvador Lucas
Total: 3 presentations.