EasyChair Smart SlideUser guide
Author: Oscar Barreca

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

On the Complexity of Model Checking for Temporal Equilibrium Logic

On the Complexity of Model Checking for Temporal Equilibrium Logic

Oscar Barreca, Thomas Eiter and Davide Soldà

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