Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching
by Peter Gammie
Peter Gammie
2020
2017
The Kuratowski Closure-Complement Theorem
by Peter Gammie and Gianpaolo Gioiosa
2016
2015
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
by Peter Gammie, Tony Hosking and Kai Engelhardt
2012
2011
2009
2008
Some classical results in Social Choice Theory
by Peter Gammie