EasyChair Smart SlideUser guide
Author: Simon Marynissen

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

Nested Justification Systems

Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts and Marc Denecker

Tree-like Justification Systems Are Consistent

Tree-like Justification Systems Are Consistent

Simon Marynissen and Bart Bogaerts

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