Rewriting Induction for Higher-Order Constrained Rewriting
Kasper Hagens
Rewriting Induction for Higher-Order Constrained Rewriting
In het kort
ISBN-13
9789465153155
Uitgever
Verschenen
1 december 2026
Imprint
Bibliografisch
Uitgave
UitgeverRadboud University Press
ImprintRadboud University Press
CB-relatie-id6846196
Verschenen1 december 2026
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01Kasper Hagens
Herkomst
Werk-id (NSTC)501686986
MeldingUpdate 04
Laatste CB-bericht7773
Bijgewerkt5 augustus 2026
Lijkt op dit boek
Dit is voor iedereen
Digitale veerkracht vandaag en morgen
Microsoft Flight Simulator 2024 Made Easy for PS5
Microsoft Flight Simulator 2024 Made Simple
Mastering Microsoft Flight Simulator 2024
Find the Killer: 25 Murder Mystery Case Files for Adults
Find the Killer: 25 Impossible Murder Mysteries for Adults
DevOps Learning Roadmap
The Swarm
De medeplichtige
NSTC 501686986 · CB-relatie 6846196 · Laatste CB-bericht 7773 · Bijgewerkt 5 augustus 2026