Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “...Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus...”