Mijn boeken
Catalogus
Safety for bisimulation in monadic second-order logic
M.J. Hollenberg

Safety for bisimulation in monadic second-order logic

PaperbackNederlandsDeel 170 →
In het kort

Lijkt op dit boek

NSTC 500807288 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Safety for bisimulation in monadic second-order logic
M.J. Hollenberg

Safety for bisimulation in monadic second-order logic

Bestel bij bol →
In het kort

Lijkt op dit boek

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