Amine Chaieb und Pascal Fontaine - Info zur Person

(1 - 6 von 6

)

Pascal Fontaine

people.montefiore.uliege.be

... Workshop - VERIFY'07, Bremen, Preprint: pdf postscript bibtex slides; Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz and Tjark Weber.

Practical Proof Reconstruction for First-Order Logic and Set ...

user.it.uu.se

Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark Weber. In Lucas Dixon and Moa Johansson, editors, Proceedings of the Isabelle Workshop ... › publications

Équipe Everest: Conference papers en format BibTeX - Inria

www-sop.inria.fr

[HCF+07], Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark Weber. Practical proof reconstruction for first-order logic and set-theoretical ... › publis

Équipe Everest: Publications hurlin en format BibTeX - Inria

www-sop.inria.fr

@INPROCEEDINGS{HurlinCFMW07, author = {Cl\'ement Hurlin and Amine Chaieb and Pascal Fontaine and Stephan Merz and Tjark Weber}, title = {Practical Proof ... › publis › h...

Tjark Weber - Publications

user.it.uu.se

17836, available at http://mpra.ub.uni-muenchen.de , ... Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark ...

quipe Everest: Publications complete en format BibTeX

www-sop.inria.fr

Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark Weber. Practical proof reconstruction for first-order logic and set-theoretical constructions.

Alle Infos zum Namen "Amine Chaieb"

Verwandte Suchanfragen zu Amine Chaieb

Tjark Weber
Stephan Merz
Florian Haftmann

Amine Ghariani

Person "Chaieb" (1)
Vorname "Amine" (944)
Name "Chaieb" (36)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Amine Chaieb und Pascal Fontaine Person-Info

Pascal Fontaine

Practical Proof Reconstruction for First-Order Logic and Set ...

Équipe Everest: Conference papers en format BibTeX - Inria

Équipe Everest: Publications hurlin en format BibTeX - Inria

Tjark Weber - Publications

quipe Everest: Publications complete en format BibTeX

Alle Infos zum Namen "Amine Chaieb"