| locus < logic < logical | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000006 (2017-09) | Julian Biendarra [Allemagne] ; Jasmin Blanchette [Allemagne] ; Aymeric Bouzy [France] ; Martin Desharnais [Allemagne] ; Mathias Fleury [Allemagne] ; Johannes Hölzl [États-Unis] ; Ond Ej Kun Ar [Allemagne] ; Andreas Lochbihler [Suisse] ; Fabian Meier [Suisse] ; Lorenz Panny [Pays-Bas] ; Andrei Popescu [Roumanie] ; Christian Sternagel [Autriche] ; René Thiemann [Autriche] ; Dmitriy Traytel [Suisse] | Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic |
| 000190 (2014-06-17) | Chris Martens [États-Unis] ; João F. Ferreira [Royaume-Uni] ; Anne-Gwenn Bosser [France] ; Marc Cavazza [Royaume-Uni] | Generative Story Worlds as Linear Logic Programs |
| 000694 (2010) | Itaï Ben Yaacov [France] ; Arthur Paul Pedersen [États-Unis] | A proof of completeness for continuous first-order logic |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/France/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i -k "logic"
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i \
-Sk "logic" \
| HfdSelect -Kh $EXPLOR_AREA/Data/France/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Amérique
|area= PittsburghV1
|flux= France
|étape= Analysis
|type= indexItem
|index= Title.i
|clé= logic
}}
| This area was generated with Dilib version V0.6.38. |  |