-
Automated reasoning techniques as proof-search in sequent calculus
Version of thesis at time of defense. -
Proof Systems for Intuitionistic Provability in Linear Logic
Colloque avec actes et comité de lecture. -
Proof construction in linear logic and programming
Colloque sur invitation. -
Formulae-as-Resources Management for an Intuitionistic Theorem Prover
Colloque avec actes et comité de lecture. -
Some Issues about Proof Search in Linear Logic - abstract -
Colloque avec actes et comité de lecture. -
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic...
Colloque avec actes et comité de lecture. -
Proof-search in Type-theoretic Languages: An Introduction
Article dans revue scientifique avec comité de lecture. -
Proof-search in mixed linear logic - extended abstract.
Colloque avec actes et comité de lecture. internationale. -
Proof-search and Proof nets in Mixed Linear Logic
Article dans revue scientifique avec comité de lecture. -
Workshop on Type-theoretic Languages: Proof-search and Semantics
Congrès (éditeur). internationale. -
Combining proof-search and linear counter-model construction
Colloque sur invitation. internationale.
