Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Christine Paulin-Mohring | lit.salon

Author

Christine Paulin-Mohring

3 works

2006–2013 across 3 dated works

No biography is available yet.

Start with

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers2006
With Jean-Christophe Filliatre, Benjamin Werner
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)2013
With Sandrine Blazy
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings2013
With Sandrine Blazy, David Pichardie

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)2013
With Sandrine Blazy
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers2006
With Jean-Christophe Filliatre, Benjamin Werner
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings2013
With Sandrine Blazy, David Pichardie
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Christine Paulin-Mohring.

The conversation is still open.

There is no public salon activity to show for Christine Paulin-Mohring yet.