Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Fundamente Teoretici de Informatică

Diese Seite ist in Deutsch verfügbar.

This page is available in English.

Cette page n'existe pas en Français.

Ésta página no existe en Español.

UHH > MIN > Informatică > TGI

Mark-Oliver Stehr

Cette page n'existe pas en Français.

Ésta página no existe en Español.

Embedding UNITY into the Calculus of Inductive Constructions

Mark-Oliver Stehr

Fachbereichsbericht FBI-HH-B-214/98, Fachbereich Informatik, Universität Hamburg, September 1998

→ → Informatică → TGI → Staff

Ultima actualizare: 17:40 19-05-2011