|
|
An Intrisic Topology for Orthomodular Lattices
Olivier Brunet
Journal articles
hal-00128859v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Logic of Quantum Measurement
Olivier Brunet
2015
Preprints, Working Papers, ...
hal-01117527v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Initiation à la calculabilité
David Monniaux
Quadrature, 2012, 86, pp.17-28
Journal articles
hal-01446372v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq
Dominique Larchey-Wendling
,
Jean-François Monin
Book sections
hal-03338785v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improving Strategies via SMT Solving
Thomas Martin Gawlitza
,
David Monniaux
Conference papers
hal-00555795v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Weakening the Born Rule - Towards a Stateless Formulation of Quantum Mechanics
Olivier Brunet
2013
Preprints, Working Papers, ...
hal-00820730v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
David Monniaux
,
Pierre Corbineau
Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264
Conference papers
hal-00594761v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Representation Systems and Quantum Structures
Olivier Brunet
Journal articles
hal-00019890v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|