EasyChair Smart SlideDocs/Log in
Author: Ori Lahav

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

Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices

Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices

Ori Lahav and Yoni Zohar

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