RISC JKU
  • @inproceedings{RISC6885,
    author = {Georg Ehling and Temur Kutsia},
    title = {{Matching in Quantitative Equational Theories}},
    booktitle = {{UNIF 2023 - 37th International Workshop on Unification}},
    language = {english},
    pages = {--},
    isbn_issn = { },
    year = {2023},
    editor = {Veena Ravishankar and Christophe Ringeissen},
    refereed = {yes},
    sponsor = {FWF},
    length = {7},
    url = {https://inria.hal.science/hal-04128216}
    }