EasyChair Smart SlideUser guide
Author: Manfred Schmidt-Schauss

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

Towards Fast Nominal anti-Unification of Letrec-Expressions

Towards Fast Nominal anti-Unification of Letrec-Expressions

Daniele Nantes-Sobrinho and Manfred Schmidt-Schauss

Nominal anti-Unification with Atom-Variables

Nominal anti-Unification with Atom-Variables

Manfred Schmidt-Schauss and Daniele Nantes-Sobrinho

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

David Sabel and Manfred Schmidt-Schauss

Rewriting with Generalized Nominal Unification

Rewriting with Generalized Nominal Unification

Yunus David Kerem Kutz and Manfred Schmidt-Schauss

Optimizing Space of Parallel Processes

Optimizing Space of Parallel Processes

Manfred Schmidt-Schauss and Nils Dallmeyer

Nominal Unification with Atom and Context Variables

Nominal Unification with Atom and Context Variables

Manfred Schmidt-Schauss and David Sabel

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