EasyChair Smart SlideDocs/Log in
Author: Temur Kutsia

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

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: 2
Copyright © 2002 – 2024 EasyChair