Das Buch ist derzeit nicht auf Lager

Extensions of system F by iteration and primitive recursion on monotone inductive types

Autoren

Ralph Matthes

Parameter

ISBN: 9783896755780
Verlag: Utz, Wiss.

Kategorien

Deine Änderungsvorschläge

Buchvariante

1999

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.