EasyChair Smart SlideDocs/Log in
Author: David Cerna

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards the Automatic Construction of Schematic Proofs

Towards the Automatic Construction of Schematic Proofs

David Cerna and Michael Lettmann

Towards Generalization Methods for Purely Idempotent Equational Theories

Towards Generalization Methods for Purely Idempotent Equational Theories

David Cerna and Temur Kutsia

Higher-Order Equational Pattern Anti-Unification

Higher-Order Equational Pattern Anti-Unification

David Cerna and Temur Kutsia

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