Séminaire du 21 mai 07, Michel Schellekens, University College Cork, Ireland.
(Semi-)automated analysis via MOQA.
We present an overview of the MOQA operations using a demo. This includes the basic MOQA operations. We also focus on important concepts aiding average-case analysis such as series-parallel orders and isolated suborders. Given sufficient time we may cover insertions and deletions in binary search trees and the solution to Knott's paradox.
Last modified: Mon May 23 18:32:54 CEST 2005