Ouvrir le menu
Publier un document
Alternate Text
clear
fr
Ouvrir le menu
audio

Auteur

Alexis Saurin

Œuvres

Derniers ajouts
chevron
Canonical Sequent Proofs via Multi Focusing
Category

Documents

Canonical Sequent Proofs via Multi Focusing

Alexis Saurin

Canonical Sequent Proofs via Multi Focusing Alternate Text
Category

Documents

Etudes supérieures

Canonical Sequent Proofs via Multi Focusing

Alexis Saurin

Book

15 pages

Flag

English

icon play Lire
icon play Infos
MFPS XX1 Preliminary Version
Category

Documents

MFPS XX1 Preliminary Version

Alexis Saurin

MFPS XX1 Preliminary Version Alternate Text
Category

Documents

Etudes supérieures

MFPS XX1 Preliminary Version

Alexis Saurin

Book

20 pages

Flag

English

icon play Lire
icon play Infos
From proofs to focused proofs: a modular proof of Focalization in Linear Logic
Category

Documents

From proofs to focused proofs: a modular proof of Focalization in Linear Logic

Alexis Saurin

From proofs to focused proofs: a modular proof of Focalization in Linear Logic Alternate Text
Category

Documents

Etudes supérieures

From proofs to focused proofs: a modular proof of Focalization in Linear Logic

Alexis Saurin

Book

15 pages

Flag

English

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
expand_more
Vote une nouvelle fonctionnalité

Vote pour une nouvelle fonctionnalité YouScribe !
playstore
appstore
facebook twitter instagram youtube

YouScribe

Le catalogue

Le service

Les conditions

© 2010-2024 YouScribe
Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts
Alternate Text
Category

Book

Book

icon play
icon play Infos