Conference: WST22 (Workshop on Termination)

Conference: WST22 (Workshop on Termination)

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

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