Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-oh]computer science [cs]/other [cs.oh] 24 Treffer
- coq 18 Treffer
- reecriture 18 Treffer
- automated theorem proving 10 Treffer
- higher-order logic 10 Treffer
-
41 weitere Werte:
- [info]computer science [cs] 6 Treffer
- averroes 6 Treffer
- demonstrateur 4 Treffer
- natural deduction 4 Treffer
- phil 4 Treffer
- spike 4 Treffer
- theorem prover 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- deduction modulo 3 Treffer
- deduction naturelle 3 Treffer
- dedukti 3 Treffer
- elan 3 Treffer
- lang 3 Treffer
- logical framework 3 Treffer
- programming language 3 Treffer
- prototype 3 Treffer
- semantics 3 Treffer
- skolemization 3 Treffer
- tautologie 3 Treffer
- tautology 3 Treffer
- type theory 3 Treffer
- certification 2 Treffer
- computational system 2 Treffer
- confluence 2 Treffer
- dependent types 2 Treffer
- polynomes 2 Treffer
- polynomials 2 Treffer
- preuve 2 Treffer
- proof 2 Treffer
- terminaison 2 Treffer
- termination 2 Treffer
- concurrency 1 Treffer
- cumulativity 1 Treffer
- performance 1 Treffer
- reduction 1 Treffer
- rust 1 Treffer
- sharing 1 Treffer
- socio 1 Treffer
- type checking 1 Treffer
- universes 1 Treffer
- verification 1 Treffer
Sprache
34 Treffer
-
In: https://inria.hal.science/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online 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://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000reportZugriff:
-
In: https://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000reportZugriff:
-
In: https://hal.inria.fr/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000reportZugriff:
-
In: https://inria.hal.science/inria-00099930 ; [Contrat] A04-R-487 || blanqui04c, 2004, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00099930 ; [Contrat] A04-R-487 || blanqui04c, 2004, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00099931 ; [Contrat] A04-R-488 || blanqui04d, 2004, 7 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099931 ; [Contrat] A04-R-488 || blanqui04d, 2004, 7 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099930 ; [Contrat] A04-R-487 || blanqui04c, 2004, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00099931 ; [Contrat] A04-R-488 || blanqui04d, 2004, 7 p, 2004Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://inria.hal.science/inria-00099929 ; [Stage] A04-R-489 || hinderer04a, 2004, 2004reportZugriff:
-
In: https://hal.inria.fr/inria-00099929 ; [Stage] A04-R-489 || hinderer04a, 2004, 2004reportZugriff:
-
In: ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1996/RR1996-26.ps.Z, 1996Online reportZugriff:
-
In: https://hal.science/hal-04470850 ; Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2024, 2024Online reportZugriff:
-
In: https://hal.science/hal-04470850 ; 2024, 2024Online reportZugriff: