Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Fundamentos Teóricos de Informáticas

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 > Informática > TGI

Mark-Oliver Stehr

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.

Embedding UNITY into the Calculus of Inductive Constructions

Mark-Oliver Stehr

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

Resumen:

Recursios:

→ → Informática → TGI → Empleados

Último cambio: 17:40 19/05/2011

Pie de imprenta