EasyChair Smart SlideDocs/Log in
Conference: CSL18 (Computer Science Logic 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Graphical Conjunctive Queries

Graphical Conjunctive Queries

Filippo Bonchi, Jens Seeber and Pawel Sobocinski

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Carlo Angiuli, Kuen-Bang Hou Favonia and Robert Harper

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