Alejandro Gómez-Londoño
18 January 2021
This is an unofficial reimagining of the Archive of Formal Proofs
Hood_Melville_Queue-AFP
@article{Hood_Melville_Queue-AFP, author = {Alejandro Gómez-Londoño}, title = {Hood-Melville Queue}, journal = {Archive of Formal Proofs}, month = January, year = 2021, note = {\url{http://isa-afp.org/entries/Hood_Melville_Queue.html}, Formal proof development}, ISSN = {2150-914x}, }
Older releases: