Catégorie : Publications

Jun 22

(English) Two papers accepted at PxTP 2015

Désolé, cet article est seulement disponible en Anglais Américain.

Apr 02

(English) Two papers accepted at LICS 2015

Désolé, cet article est seulement disponible en Anglais Américain.

Mar 31

(English) Four papers accepted to CSL-LICS 2014

Désolé, cet article est seulement disponible en Anglais Américain.

Aug 30

(English) Accepted paper at CPP 2013

Désolé, cet article est seulement disponible en Anglais Américain.

Jul 21

(English) Abella 2.0.0 released

Désolé, cet article est seulement disponible en Anglais Américain.

Jul 15

(English) Accepted paper at LFMTP 2013

Désolé, cet article est seulement disponible en Anglais Américain.

Mar 25

(English) Paper accepted to LICS 2013

Désolé, cet article est seulement disponible en Anglais Américain.

Mar 24

(English) Paper accepted to CADE 2013

Désolé, cet article est seulement disponible en Anglais Américain.

Jan 10

(English) Paper on Nested Sequents for Intuitionistic Modal Logics

Désolé, cet article est seulement disponible en Anglais Américain.

Oct 08

(English) New paper on Combining Intuitionistic and Classical Logics