A formalization of powerlist algebra in ACL2

DOI10.1007/S10817-009-9140-YzbMath1184.68460OpenAlexW2047712929MaRDI QIDQ846164

Ruben A. Gamboa

Publication date: 1 February 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9140-y

zbMATH Keywords

verificationACL2powerlists

Mathematics Subject Classification ID

Searching and sorting (68P10) Data structures (68P05)

Uses Software

• NQTHM
• Unnamed Item

Cites Work

• Rewriting with equivalence relations in ACL2
• Odd-even sort in powerlists
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formalization of powerlist algebra in ACL2