Get Free Shipping on orders over $79
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers - Kazuhiro Ogata
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Rewriting Logic and Its Applications

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

By: Kazuhiro Ogata (Editor), Narciso Marti-Oliet (Editor)

Paperback | 5 September 2024

At a Glance

Paperback


$99.00

or 4 interest-free payments of $24.75 with

 or 

Ships in 5 to 7 business days

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.



The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

More in Discrete Mathematics

Discrete Mathematics for Computing : Grassroots - Peter Grossman
Discrete Mathematics : An Open Introduction - Oscar Levin

RRP $18.75

$10.00

47%
OFF
Marxian Economics : A New Japanese Tradition - Hiroshi Onishi

RRP $62.75

$25.00

60%
OFF
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

RRP $94.99

$85.75

10%
OFF
Tic Tac Test : Beat the Book at Noughts and Crosses - Barry R. Clarke

RRP $399.00

$208.75

48%
OFF
Tic Tac Test : Beat the Book at Noughts and Crosses - Barry R. Clarke
Discrete Mathematics for Data Science - Jack Pope

RRP $179.00

$158.99

11%
OFF
Discrete Mathematics for Data Science - Jack Pope

RRP $103.00

$91.75

11%
OFF
Discrete Mathematics and Its Applications : 2025 Release ISE - Kenneth H. Rosen

RRP $169.95

$135.96

20%
OFF
Rational Mechanics : UNITEXT - Giuseppe Saccomandi