EasyChair Smart SlideDocs/Log in
Author: Tomer Libal

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

A Simple Semi-automated Proof Assistant for First-order Modal Logics

A Simple Semi-automated Proof Assistant for First-order Modal Logics

Tomer Libal

Implementing a Proof Assistant using Focusing and Logic Programming

Implementing a Proof Assistant using Focusing and Logic Programming

Tomer Libal

Interfacing with a Prover using Focusing and Logic Programming

Interfacing with a Prover using Focusing and Logic Programming

Tomer Libal

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