Mercurial > hg > Members > Moririn
diff doc/synchronizedQueue.graffle @ 181:78b28c8ffff2
Prove equivalence n-push/n-pop to empty stack
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:12:49 +0000 |
parents | 0299b90256e5 |
children |
author | atton |
---|---|
date | Tue, 13 Dec 2016 02:12:49 +0000 |
parents | 0299b90256e5 |
children |