Skip to main content

1 Result(s)

within M J Hidalgo Remove this filter Mathematical Logic and Foundations Remove this filter

and

  1. No Access

    Chapter

    Termination in ACL2 Using Multiset Relations

    We present in this paper a case study of the use of the ACL2 system, describing an ACL2 formalization of multiset relations, and showing how multisets can be used to prove non-trivial termination properties. E...

    J. L. Ruiz-Reina, J. A. Alonso… in Thirty Five Years of Automating Mathematics (2003)