Search Results - "Edmonds, Chelsea"

Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.

Authors: Derrick, John Dongol, Brijesh Edmonds, Chelsea et al.

Source: Journal of Automated Reasoning; Dec2025, Vol. 69 Issue 4, p1-64, 64p

Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL.

Authors: Edmonds, Chelsea Koutsoukou-Argyraki, Angeliki Paulson, Lawrence C.

Source: Journal of Automated Reasoning; Mar2023, Vol. 67 Issue 1, p1-21, 21p

George Clinton & The Cosmic Odyssey Of The P-Funk Empire

Authors: Kris Needs

Resource Type: eBook.

Subjects: Funk musicians--United States--Biography, African American musicians--Biography

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Music

George Clinton & The Cosmic Odyssey of the P-Funk Empire

Authors: Kris Needs

Resource Type: eBook.

Subjects: African American musicians--Biography, Funk musicians--United States--Biography

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Music, MUSIC / Genres & Styles / Rap & Hip Hop, MUSIC / Genres & Styles / Soul & R "n B