← Terug naar resultaten
Rewriting Induction for Higher-Order Constrained Rewriting
Kasper Hagens
Bestel bij bol ↗
partnerlink
Metadata exporteren

Rewriting Induction for Higher-Order Constrained Rewriting

Kasper Hagens
PaperbackSerie: Radboud Dissertation Series →Engels200 pagina’sGeïllustreerdOnbekend
Bibliografisch
ISBN-139789465153155
SerieRadboud Dissertation Series
Editie1
TaalEngels eng
Pagina’s200
GeïllustreerdJa
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