Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 58 Treffer
- theorie des types 22 Treffer
- reecriture 21 Treffer
- rewriting 18 Treffer
- type theory 14 Treffer
-
45 weitere Werte:
- [info.info-oh] computer science [cs]/other [cs.oh] 13 Treffer
- certification 11 Treffer
- extraction 9 Treffer
- proof assistants 9 Treffer
- formalisation 7 Treffer
- formalization 7 Treffer
- preuve 7 Treffer
- assistants de preuve 6 Treffer
- averroes 6 Treffer
- calcul des constructions inductives 6 Treffer
- calculus of inductive constructions 6 Treffer
- formal proof 6 Treffer
- geometrie 6 Treffer
- preuve de programmes 6 Treffer
- preuve formelle 6 Treffer
- proof assistant 6 Treffer
- semantique 6 Treffer
- automation 5 Treffer
- automatisation 5 Treffer
- decision procedure 5 Treffer
- diagrams 5 Treffer
- dynamic geometry 5 Treffer
- functional programming 5 Treffer
- geometry 5 Treffer
- programmation fonctionnelle 5 Treffer
- abstract interpretation 4 Treffer
- analyse statique 4 Treffer
- area method 4 Treffer
- calcul des constructions 4 Treffer
- compilation 4 Treffer
- dependency analysis 4 Treffer
- functional languages 4 Treffer
- lambda-calcul 4 Treffer
- lambda-calculus 4 Treffer
- logical relation 4 Treffer
- ocaml 4 Treffer
- procedure de decision 4 Treffer
- realizability 4 Treffer
- semantics 4 Treffer
- static analysis 4 Treffer
- synchrone 4 Treffer
- synchronous 4 Treffer
- translation validation 4 Treffer
- [math]mathematics [math] 3 Treffer
- algorithmic skeletons 3 Treffer
Geographischer Bezug
118 Treffer
-
In: https://inria.hal.science/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00072540 ; RR-4092, INRIA. 2000, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00071689 ; RR-4893, INRIA. 2003, 2003Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072403 ; RR-4216, INRIA. 2001, 2001Online reportZugriff:
-
In: https://hal.inria.fr/inria-00073382 ; RR-3307, INRIA. 1997, 1997Online reportZugriff:
-
In: JFLA - Journées Francophones des Langages Applicatifs - 2012 ; https://hal.inria.fr/hal-00665945 ; JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France, 2012Online KonferenzZugriff:
-
In: https://theses.hal.science/tel-01228517 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2015. Français. ⟨NNT : 2015PA112096⟩, 2015Online HochschulschriftZugriff:
-
In: JFLA - Journées Francophones des Langages Applicatifs - 2012 ; https://inria.hal.science/hal-00665965 ; JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France, 2012Online KonferenzZugriff:
-
In: JFLA - Journées Francophones des Langages Applicatifs - 2012 ; https://hal.inria.fr/hal-00665909 ; JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France, 2012Online KonferenzZugriff:
-
In: https://theses.hal.science/tel-00150912 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français. ⟨NNT : ⟩, 2004Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00118806 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français. ⟨NNT : ⟩, 2006Online HochschulschriftZugriff: