Logo Logo

Hochschulschrift von Barral, Freiric

Anzahl der Einträge: 1.

Barral, Freiric (2008): Decidability for Non-Standard Conversions in Typed Lambda-Calculi. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Diese Liste wurde am Wed Sep 3 21:36:07 2025 CEST erstellt.