Automated reasoning about parallel algorithms using powerlists

DOI10.1007/3-540-60043-4_68OpenAlexW1501195639MaRDI QIDQ5096401

Deepak Kapur, Mahadevan Subramaniam

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_68

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• New uses of linear arithmetic in automated theorem proving by induction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated reasoning about parallel algorithms using powerlists