Termination of higher-order rewrite systems
J.C. van de Pol
Termination of higher-order rewrite systems
PaperbackNederlands
In het kort
ISBN-13
9789039313572
Uitgever
Bibliografisch
ISBN-139789039313572
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01J.C. van de Pol
Herkomst
Werk-id (NSTC)501202039
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501202039 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









