Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Typentheorie 10 Treffer
- Automatisches Beweisverfahren 5 Treffer
- Programmierung 5 Treffer
- Reduktionssystem 5 Treffer
- Typsystem 4 Treffer
-
14 weitere Werte:
- Benutzeroberfläche 3 Treffer
- Logik 3 Treffer
- Berechnungstheorie 2 Treffer
- Computational logic 2 Treffer
- Programmierlogik 2 Treffer
- Berechnungskomplexität 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Formale Methode 1 Treffer
- Komplexitätstheorie 1 Treffer
- Logische Programmierung 1 Treffer
- Modallogik 1 Treffer
- Programmierparadigma 1 Treffer
- Programmverifikation 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
Sprache
Form
Person
- Berardi, Stefano 2 Treffer
- Gottlob, Georg 2 Treffer
- Altenkirch, Thorsten 1 Treffer
- Barendregt, Hendrik P. (1947-) 1 Treffer
- Basin, David 1 Treffer
-
12 weitere Werte:
- Callaghan, Paul 1 Treffer
- Clote, Peter 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Dybjer, Peter (1953-) 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Furbach, Ulrich (1948-) 1 Treffer
- Geuvers, Herman 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Kahle, Reinhard (1967-) 1 Treffer
- Leivant, Daniel 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Wansing, Heinrich (1963-) 1 Treffer
19 Treffer
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: