RISC JKU
  • @inproceedings{RISC6498,
    author = {Besik Dundua and Temur Kutsia and Mikheil Rukhaia},
    title = {{Unranked Nominal Unification}},
    booktitle = {{Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    volume = {13206},
    pages = {279--296},
    publisher = {Springer},
    isbn_issn = {ISBN 978-3-030-98478-6},
    year = {2022},
    editor = {Aybüke Özgün and Yulia Zinova},
    refereed = {yes},
    length = {17},
    conferencename = {13th International Tbilisi Symposium on Logic, Language, and Computation},
    url = {https://doi.org/10.1007/978-3-030-98479-3_14}
    }