Etudes supérieures

Meta Programming in Prolog

Etudes supérieures

A proposal for broad spectrum proof certificates

Etudes supérieures

A neutral approach to proof and refutation in MALL

Olivier Delande

Etudes supérieures

Encoding Transition Systems in Sequent Calculus Raymond McDowell

Raymond Mcdowell

Etudes supérieures

Higher Order Logic Programming†

Duke University

Etudes supérieures

MFPS XX1 Preliminary Version

Alexis Saurin

Etudes supérieures

A formal framework for specifying sequent calculus proof systems

Elaine Pimentelb

Etudes supérieures

Towards a broad spectrum proof certificate

Dale Miller

Etudes supérieures

Reasoning about Computations Using Two Levels of Logic

Dale Miller

Etudes supérieures

Forum: A Multiple Conclusion Specification Logic

Etudes supérieures

A Survey of Linear Logic Programming Dale Miller

Howard Isomorphism

Etudes supérieures

A Focused Approach to Combining Logics

C Liang

Etudes supérieures

Proof and refutation in MALL as a game

Olivier Delandea

Etudes supérieures

Chuck Liang Hofstra University Hempstead NY

Etudes supérieures

Visions of CS April

Etudes supérieures

A Proof Theory for Generic Judgments: An extended abstract

Dale Miller

Etudes supérieures

FCS'03 Preliminary Version

Etudes supérieures

A Focused Sequent Calculus Framework for

Stéphane Lengrand

Etudes supérieures

Proof and refutation in MALL as a game Olivier Delande Dale Miller and Alexis Saurin

Olivier Delande

Etudes supérieures

Satisfiability Modulo Theories Conclusions

Tjark Weber

Etudes supérieures

Isabelle HOL and SMT

Sascha Böhme

Etudes supérieures

Program extraction from proofs: computable analysis and parser generation

Ulrich Berger

Etudes supérieures

From a scalar type system

Alejandro Diaz Caro

Etudes supérieures

MINISTERE DE L'EDUCATION NATIONALE

Stéphanie Bauche

Etudes supérieures

Tremblante naturelle des petits ruminants : étude morphologique et immunohistochimique des lésions cérébrales et recherche de marqueurs cellulaires associés

Sébastien Allix

Etudes supérieures

MINISTERE DE L'EDUCATION NATIONALE

Séverine Augier

Etudes supérieures

Transplantation de cellules fœtales associées ou adhérées à des microsphères libérant du GDNF (Glial cell line-Derived Neurotrophic Factor) : Effets sur la survie, la différenciation et l'intégration du greffon

Laurence Sindji

Etudes supérieures

Vieillissement et Réhabilitation de la fonction d'équilibre chez le patient atteint de Dégénérescence Maculaire Liée à l'Age

Xavier Radvay

Etudes supérieures

Implication des calpaïnes 1 et 3 au cours de la différenciation et de l'apoptose dans un modèle cellulaire, les PC12

Gérard Lefranc

Etudes supérieures

MINISTERE DE LA JEUNESSE DE L' EDUCATION NATIONALE ET DE LA RECHERCHE

Marion Le Cavorsin