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

Author(s)

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

Bibliographic Information

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

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

  • NCID
    BD08602294
  • ISBN
    • 9783031659409
  • Country Code
    sz
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cham
  • Pages/Volumes
    x, 207 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top