Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : revised selected papers

著者

    • WRLA
    • Ogata, Kazuhiro
    • Martí-Oliet, Narciso

書誌事項

Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : revised selected papers

Kazuhiro Ogata, Narciso Martí-Oliet, editors

(Lecture notes in computer science, 14953)

Springer, c2024

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ