Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two...”