EasyChair Smart SlideUser guide
Author: Johannes Schoisswohl

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

Refining Unification with Abstraction

Refining Unification with Abstraction

Johannes Schoisswohl, Laura Kovacs, Konstantin Korovin and Ahmed Bhayat

Induction with Generalization in Superposition Reasoning

Induction with Generalization in Superposition Reasoning

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

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