RISC JKU
  • @inproceedings{RISC5143,
    author = {Ilias Kotsireas and Temur Kutsia and Dimitris E. Simos},
    title = {{Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification}},
    booktitle = {{Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15}},
    language = {english},
    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    pages = {241--256},
    publisher = {Schloss Dagstuhl},
    isbn_issn = {ISSN 1868-8969},
    year = {2015},
    editor = {Maribel Fernandez},
    refereed = {yes},
    sponsor = {FWF under the project P 24087-N18},
    length = {16}
    }