Conference Papers
Year : 2013
Burkhart Wolff : Connect in order to contact the contributor
https://inria.hal.science/hal-01766903
Submitted on : Saturday, April 14, 2018-4:56:56 PM
Last modification on : Friday, March 24, 2023-2:53:07 PM
Dates and versions
Identifiers
- HAL Id : hal-01766903 , version 1
Cite
Wenzel Makarius. Shared-Memory Multiprocessing for Interactive Theorem Proving. Interactive Theorem Proving - 4th International Conference, ITP 2013, 2013, Rennes, France. ⟨hal-01766903⟩
Collections
53
View
0
Download