Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 54 Treffer
- proof assistant 20 Treffer
- rewriting 20 Treffer
- higher-order logic 12 Treffer
- reecriture 12 Treffer
-
45 weitere Werte:
- automated theorem proving 10 Treffer
- explicit substitutions 9 Treffer
- phil 7 Treffer
- proof 7 Treffer
- type theory 7 Treffer
- theorie des types 6 Treffer
- calculus of inductive constructions 5 Treffer
- model checking 5 Treffer
- reactive systems 5 Treffer
- socio 5 Treffer
- synchronous model 5 Treffer
- verification 5 Treffer
- abstract interpretation 4 Treffer
- averroes 4 Treffer
- calculus of constructions 4 Treffer
- certification 4 Treffer
- formal methods 4 Treffer
- formal proofs 4 Treffer
- induction 4 Treffer
- java card 4 Treffer
- lambda-calculus 4 Treffer
- lang 4 Treffer
- static analysis 4 Treffer
- theorem proving 4 Treffer
- co-induction 3 Treffer
- ctcoq 3 Treffer
- deduction modulo 3 Treffer
- elementary functions 3 Treffer
- expansion 3 Treffer
- extraction 3 Treffer
- floating point 3 Treffer
- floating-point 3 Treffer
- formal proof 3 Treffer
- higher-order abstract syntax 3 Treffer
- ieee 754 standard 3 Treffer
- memory analysis 3 Treffer
- multiple precision 3 Treffer
- normalization 3 Treffer
- norme ieee 754 3 Treffer
- numerical code 3 Treffer
- on-line 3 Treffer
- preuve 3 Treffer
- preuve formelle 3 Treffer
- skolemization 3 Treffer
- termination 3 Treffer
Sprache
112 Treffer
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://inria.hal.science/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072797 ; [Research Report] RR-3859, INRIA. 2000, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072226 ; RR-4362, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072232 ; RR-4356, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072808 ; [Research Report] RR-3848, INRIA. 1999, 1999Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072316 ; RR-4271, INRIA. 2001, 2001Online reportZugriff:
-
In: https://hal.inria.fr/inria-00071689 ; RR-4893, INRIA. 2003, 2003Online reportZugriff:
-
In: https://inria.hal.science/inria-00072540 ; RR-4092, INRIA. 2000, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072540 ; RR-4092, INRIA. 2000, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072235 ; RR-4353, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00069967 ; [Research Report] RT-0204, INRIA. 1997, pp.44, 1997Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072403 ; RR-4216, INRIA. 2001, 2001Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072591 ; [Research Report] RR-4047, INRIA. 2000, pp.53, 2000Online reportZugriff:
-
In: https://inria.hal.science/inria-00072113 ; [Research Report] RR-4475, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072113 ; [Research Report] RR-4475, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072970 ; RR-3698, INRIA. 1999, 1999Online reportZugriff: