FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Well-Founded Unions

Authors: Jeremy Dawson, Nachum Dershowitz and Rajeev Gore

Paper Information

Title:Well-Founded Unions
Authors:Jeremy Dawson, Nachum Dershowitz and Rajeev Gore
Proceedings:IJCAR Proceedings 9th IJCAR, 2018
Editors: Stephan Schulz, Didier Galmiche and Roberto Sebastiani
Keywords:well-founded relations, unions of relations, machine checked proofs, termination proofs
Abstract:

ABSTRACT. Given two or more well-founded (terminating) binary relations, when can one be sure that their union is likewise well-founded? We suggest new conditions for an arbitrary number of relations, generalising known conditions for two relations. We also provide counterexamples to several potential weakenings. All proofs have been machine checked.

Pages:16
Talk:Jul 15 15:00 (Session 106B: Termination)
Paper: