I. Kotsireas, Teimuraz Kutsia, D.E. Simos,
"Constructiong Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification"
, in Maribel Fernandez: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015, Serie Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, Seite(n) 241-256, 2015, ISBN: 1868-8969
Original Titel:
Constructiong Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015
Veröffentlicher:
Schloss Dagstuhl
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)