EasyChair Smart SlideUser guide
Author: Silvio Ghilardi

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

Model Completeness for Rational Trees

Model Completeness for Rational Trees

Silvio Ghilardi and Lia Maria Poidomani

Model Completeness, Covers and Superposition

Model Completeness, Covers and Superposition

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali and Andrey Rivkin

Handling substitutions via duality

Handling substitutions via duality

Silvio Ghilardi

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