Rewriting Induction for Higher-Order Constrained Rewriting
Kasper Hagens
Rewriting Induction for Higher-Order Constrained Rewriting
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