EasyChair Smart SlideDocs/Log in
Author: Alexander Kurz

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

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano

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