EasyChair Smart SlideDocs/Log in
Author: Ahmed Bhayat

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

Superposition with Delayed Unification

Superposition with Delayed Unification

Ahmed Bhayat, Johannes Schoisswohl and Michael Rawson

Refining Unification with Abstraction

Refining Unification with Abstraction

Johannes Schoisswohl, Laura Kovacs, Konstantin Korovin and Ahmed Bhayat

Restricted Combinatory Unification

Restricted Combinatory Unification

Ahmed Bhayat and Giles Reger

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