Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Böhme, Sascha
36  Ergebnisse:
Personensuche X
?
1

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
Journal of Automated Reasoning.  56 (2015)  2 - p. 155-200 , 2015
Link: https://doi.org/10.1007/..
 
?
2

A Framework for the Verification of Certifying Computations:

Alkassar, Eyad ; Böhme, Sascha ; Mehlhorn, Kurt.
Journal of Automated Reasoning.  52 (2013)  3 - p. 241-273 , 2013
Link: https://doi.org/10.1007/..
 
?
3

Extending Sledgehammer with SMT Solvers:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Paulson, Lawrence C.
Journal of Automated Reasoning.  51 (2013)  1 - p. 109-128 , 2013
Link: https://doi.org/10.1007/..
 
?
4

Proving theorems of higher-order logic with SMT solvers:

Böhme, Sascha , 2012
Link: http://nbn-resolving.de/..
 
?
5

HOL-Boogie—An Interactive Prover-Backend for the Verifying ..:

Böhme, Sascha ; Moskal, Michał ; Schulte, Wolfram.
Journal of Automated Reasoning.  44 (2009)  1-2 - p. 111-144 , 2009
Link: https://doi.org/10.1007/..
 
?
6

Altersabhängige Muskelleistung und -kraft bei Senioren-Lei..:

Böhme, Sascha-Alexander , 2011
Link: http://nbn-resolving.de/..
 
?
7

Proving Theorems of Higher-Order Logic with SMT Solvers ; B..:

Böhme, Sascha
https://mediatum.ub.tum.de/1084525.  , 2017
Link: https://mediatum.ub.tum...
 
?
8

Encoding monomorphic and polymorphic types:

Blanchette, Jasmin ; Böhme, Sascha ; Popescu, Andrei.
https://eprints.mdx.ac.uk/16074/8/1609.08916.pdf.  , 2017
Link: https://eprints.mdx.ac.u..
 
?
9

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-015-9335-3.  , 2016
Link: https://inria.hal.scienc..
 
?
10

Encoding Monomorphic and Polymorphic Types:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Popescu, Andrei.
http://arxiv.org/abs/1609.08916.  , 2016
Link: http://arxiv.org/abs/160..
 
?
11

Semi-intelligible Isar Proofs from Machine-Generated Proofs:

Blanchette, Jasmin Christian ; Böhme, Sascha ; Fleury, Mathias..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-015-9335-3.  , 2016
Link: https://hal.inria.fr/hal..
 
?
12

A Framework for the Verification of Certifying Computations:

Alkassar, Eyad ; Böhme, Sascha ; Mehlhorn, Kurt.
http://arxiv.org/abs/1301.7462.  , 2013
Link: http://arxiv.org/abs/130..
 
?
13

Designing Proof Formats: A User's Perspective --- Experienc..:

Böhme, Sascha ; Weber, Tjark
hal-00677244.  , 2011
Link: https://inria.hal.scienc..
 
?
14

An Introduction to Certifying Algorithm:

Alkassar, Eyad ; Bohme, Sascha ; Mehlhorn, Kurt.
1611-2776.  ,
Link: http://hdl.handle.net/18..
 
?
15

Altersabhängige Muskelleistung und -kraft bei Senioren-Leis..:

Böhme, Sascha-Alexander
https://refubium.fu-berlin.de/handle/fub188/2226.  , 2011
Link: https://refubium.fu-berl..
 
1-15
Mehr Literatur finden
Energiewirtschaftsrecht