Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
© 2021 Springer Texts & Monographs in Symbolic Computation
SpringerLink Page
Buy hardcover or eBook version (free PDF access from JKU campus network)
Errata
Errors in the published version of the book.