Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- confluence 4 Treffer
- formal methods 4 Treffer
- methodes formelles 4 Treffer
- terminaison 4 Treffer
- termination 4 Treffer
-
13 weitere Werte:
- [info]computer science [cs] 3 Treffer
- curry-howard correspondence 3 Treffer
- deduction modulo 3 Treffer
- dependent types 3 Treffer
- lambda calcul 3 Treffer
- lambda calculus 3 Treffer
- rewriting 3 Treffer
- types dependants 3 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 2 Treffer
- correspondance de curry-howard 2 Treffer
- lang 1 Treffer
- phil 1 Treffer
- rewriting techniques 1 Treffer
7 Treffer
-
In: https://theses.hal.science/tel-03418761 ; Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG032⟩, 2021Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-03418761 ; Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG032⟩, 2021Online HochschulschriftZugriff:
-
In: https://pastel.archives-ouvertes.fr/tel-01235303 ; Computer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://pastel.hal.science/tel-01235303 ; Computer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://pastel.archives-ouvertes.fr/tel-01235303 ; Computer Science [cs]. École polytechnique, 2015. English, 2015Online HochschulschriftZugriff: