Mijn boeken
← Catalogus
Rewriting Induction for Higher-Order Constrained Rewriting
Kasper Hagens

Rewriting Induction for Higher-Order Constrained Rewriting

Kasper Hagens
Paperback200 pagina’sEngelsSerie →
In het kort
ISBN-13
9789465153155
Uitgever
Radboud University Press
Verschenen
1 december 2026
NUR
980 · Informatica algemeen
Serie
Radboud Dissertation Series
Imprint
Radboud University Press

Lijkt op dit boek

Omslag van Dit is voor iedereen
Dit is voor iedereen
Omslag van DevOps Learning Roadmap
DevOps Learning Roadmap
Omslag van Smart & Zeker
Smart & Zeker
Omslag van Geïntegreerde veiligheid in de 21° eeuw.
Geïntegreerde veiligheid in de 21° eeuw.
Omslag van Toegangscontrole
Toegangscontrole
Omslag van Zelf een Website Maken met WordPress
Zelf een Website Maken met WordPress
Omslag van The Killer Isn't June
The Killer Isn't June
Omslag van The Signal Path
The Signal Path
Omslag van The Killer Isn’t Alice
The Killer Isn’t Alice
Omslag van The Killer Isn’t June
The Killer Isn’t June
NSTC 501686986 · CB-relatie 6846196 · Laatste CB-bericht 7773 · Bijgewerkt 5 augustus 2026
Bestel bij bol →
← Catalogus
Rewriting Induction for Higher-Order Constrained Rewriting
Kasper Hagens

Rewriting Induction for Higher-Order Constrained Rewriting

Kasper Hagens
Paperback200 pagina’sEngelsSerie: Radboud Dissertation Series →
Bestel bij bol →
In het kort
ISBN-13
9789465153155
Uitgever
Radboud University Press
Verschenen
1 december 2026
NUR
980 · Informatica algemeen
Serie
Radboud Dissertation Series
Imprint
Radboud University Press

Lijkt op dit boek

Alles bekijken →
Omslag van Dit is voor iedereen
Dit is voor iedereen
Tim Berners-Lee
Omslag van DevOps Learning Roadmap
DevOps Learning Roadmap
KC Ramo
Omslag van Smart & Zeker
Smart & Zeker
Kees Van Sante
Omslag van Geïntegreerde veiligheid in de 21° eeuw.
Geïntegreerde veiligheid in de 21° eeuw.
Robert Verhulst
Omslag van Toegangscontrole
Toegangscontrole
Robert Verhulst
Omslag van Zelf een Website Maken met WordPress
Zelf een Website Maken met WordPress
Waries B.V.
NSTC 501686986 · CB-relatie 6846196 · Laatste CB-bericht 7773 · Bijgewerkt 5 augustus 2026