Quantifier Elimination for Queues

Speaker(s) Christian Stra├čer
Date 17 March 2006
Place Basel, Switzerland
Occasion 10th Rhine Workshop for Computer Algebra
Category Contributed