EasyChair Smart SlideDocs/Log in
Conference: HOR 18 (9th Workshop on Higher-Order Rewriting)

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

Combinatorics of explicit substitutions (extended abstract)

Combinatorics of explicit substitutions (extended abstract)

Maciej Bendkowski and Pierre Lescanne

Wanda: a higher-order termination tool

Wanda: a higher-order termination tool

Cynthia Kop

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