A geometric proof of confluence by decreasing diagrams
J.W. Klop
A geometric proof of confluence by decreasing diagrams
In het kort
ISBN-13
9789039324264
Uitgever
Serie
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Herkomst
Werk-id (NSTC)501202913
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501202913 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









