Språk / Land:
Nettsteder ligner Univ-paris12.Fr
Linear Logic as a Good Logical Foundation for Computer Science
Beskrivelse: A brief analysis of the computational aspects of linear logic by Max Kanovich.
Populære søk: univ paris12
Site Rating:
3.0 / 5.0, gjennomgått av Sites Like Search
språk: English
Sideemner: math
International research institute for mathematics and theoretical physics. We bring the world's top scientists together to collaborate in advanced research ...
Site Rating:
3.0 / 5.0, språk: English
Mathematical Sciences Research Institute, Berkeley, CA, USA.
Site Rating:
3.0 / 5.0, språk: English
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI), Wadern
Site Rating:
3.0 / 5.0, språk: English
Unité Mixte de Recherche (UMR 5505) commune au Centre National de la Recherche Scientifique (CNRS), à l'Institut National Polytechnique de Toulouse (INPT) et à ...
Site Rating:
3.6 / 5.0, språk: Français
Unité de recherche à la pointe des sciences et des technologies de l'information et de la communication.
Site Rating:
3.7 / 5.0, språk: Français
8th conference on Category Theory and Computer Science. Edinburgh, Scotland, UK; 10--12 September 1999.
Site Rating:
3.0 / 5.0, språk: English
A collaborative encyclopaedia with entries contributed under the GNU Free Documentation License.
Site Rating:
4.0 / 5.0, språk: English
Open Learning Discovery Platform and Complete Database of Schools.
Site Rating:
3.9 / 5.0, språk: English