EasyChair Smart SlideDocs/Log in
Author: Cláudia Nalon

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

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini and Clare Dixon

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals

Bernardo Alkmim, Edward Haeusler and Cláudia Nalon

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