Mijn boeken
Catalogus
Proving termination higher-order rewrite sy
Pol

Proving termination higher-order rewrite sy

PaperbackNederlands
In het kort

Lijkt op dit boek

NSTC 501201872 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Proving termination higher-order rewrite sy
Pol

Proving termination higher-order rewrite sy

PaperbackNederlands
Bestel bij bol →
In het kort

Lijkt op dit boek

Alles bekijken →
NSTC 501201872 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026