EasyChair Smart SlideDocs/Log in
Author: Roy Overbeek

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

A PBPO+ Graph Rewriting Tutorial

A PBPO+ Graph Rewriting Tutorial

Roy Overbeek and Joerg Endrullis

Decreasing diagrams with two labels are complete for confluence of countable systems

Decreasing diagrams with two labels are complete for confluence of countable systems

Joerg Endrullis, Jan Willem Klop and Roy Overbeek

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