Advanced search
1 file | 225.24 KB

Quantifier elimination for queues

Author
Organization
Keywords
queues, quantifier elimination

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 225.24 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Strasser, Christian. 2006. “Quantifier Elimination for Queues.” In 10th Rhine Workshop on Computer Algebra, Proceedings, ed. Jan Draisma and Hanspeter Kraft, 239–248. Basel, Switzerland: Universität Basel.
APA
Strasser, C. (2006). Quantifier elimination for queues. In J. Draisma & H. Kraft (Eds.), 10th Rhine workshop on computer algebra, Proceedings (pp. 239–248). Presented at the 10th Rhine Workshop on Computer Algebra (RWCA - 2006), Basel, Switzerland: Universität Basel.
Vancouver
1.
Strasser C. Quantifier elimination for queues. In: Draisma J, Kraft H, editors. 10th Rhine workshop on computer algebra, Proceedings. Basel, Switzerland: Universität Basel; 2006. p. 239–48.
MLA
Strasser, Christian. “Quantifier Elimination for Queues.” 10th Rhine Workshop on Computer Algebra, Proceedings. Ed. Jan Draisma & Hanspeter Kraft. Basel, Switzerland: Universität Basel, 2006. 239–248. Print.
@inproceedings{1101405,
  author       = {Strasser, Christian},
  booktitle    = {10th Rhine workshop on computer algebra, Proceedings},
  editor       = {Draisma, Jan and Kraft, Hanspeter},
  keywords     = {queues,quantifier elimination},
  language     = {eng},
  location     = {Basel, Switzerland},
  pages        = {239--248},
  publisher    = {Universität Basel},
  title        = {Quantifier elimination for queues},
  year         = {2006},
}