EasyChair Smart SlideDocs/Log in
Conference: WST22 (Workshop on Termination)

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

DEPP

DEPP

Fabian Mitterwallner and Aart Middeldorp

Hydra Battles and AC Termination

Hydra Battles and AC Termination

Nao Hirokawa and Aart Middeldorp

Efficient Certification of Termination Proofs

Efficient Certification of Termination Proofs

René Thiemann and Akihisa Yamada

A Transitive HORPO for Curried Systems

A Transitive HORPO for Curried Systems

Liye Guo and Cynthia Kop

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