EasyChair Smart SlideUser guide
Conference: IWC 2022 (11th International Workshop on Confluence)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Formalized Signature Extension Results for Equivalence

Formalized Signature Extension Results for Equivalence

Alexander Lochmann, Fabian Mitterwallner and Aart Middeldorp

Development Closed Critical Pairs: Towards a Formalized Proof

Development Closed Critical Pairs: Towards a Formalized Proof

Christina Kohl and Aart Middeldorp

On Local Confluence of Conditional Rewriting

On Local Confluence of Conditional Rewriting

Salvador Lucas

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair