EasyChair Smart SlideUser guide
Author: Clemens Grabmayer

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

Maximal Sharing in the Lambda Calculus with Letrec

Maximal Sharing in the Lambda Calculus with Letrec

Clemens Grabmayer and Jan Rochel

Bisimulation Slices and Transfer Functions

Bisimulation Slices and Transfer Functions

Clemens Grabmayer

A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity

A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity

Clemens Grabmayer

Milner's Proof System for Regular Expressions Modulo Bisimilarity Is Complete

Milner's Proof System for Regular Expressions Modulo Bisimilarity Is Complete

Clemens Grabmayer

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