RISC JKU
  • @inproceedings{RISC5948,
    author = {Besik Dundua and Temur Kutsia and Mircea Marin},
    title = {{Variadic Equational Matching}},
    booktitle = {{Intelligent Computer Mathematics - 12th International Conference, CICM 2019}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    volume = {11617},
    pages = {77--92},
    publisher = {Springer},
    isbn_issn = {ISBN 978-3-030-23249-8},
    year = {2019},
    editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti Coen},
    refereed = {yes},
    length = {16}
    }