Automatically proving termination and innermost normalisation of term rewriting systems
T.H.J.J. Arts
Automatically proving termination and innermost normalisation of term rewriting systems
PaperbackNederlands
In het kort
ISBN-13
9789039314098
Uitgever
Bibliografisch
ISBN-139789039314098
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01T.H.J.J. Arts
Herkomst
Werk-id (NSTC)501202060
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501202060 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026