FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Hydra Battles and AC Termination

Authors: Nao Hirokawa and Aart Middeldorp

Paper Information

Title:Hydra Battles and AC Termination
Authors:Nao Hirokawa and Aart Middeldorp
Proceedings:WST22 Program papers
Editor: Cynthia Kop
Keywords:battle of Hercules and Hydra, term rewriting, termination
Pages:5
Talk:Aug 11 12:00 (Session 125R)
Paper: