Suchergebnisse - Blanchette, Jasmin C

1

Hammering towards QED von Blanchette, Jasmin C, Kaliszyk, Cezary, Paulson, Lawrence C, Urban, Josef

Veröffentlicht in Journal of Formalized Reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving von Traytel, D., Popescu, A., Blanchette, J. C.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Automatic Proof and Disproof in Isabelle/HOL von Blanchette, Jasmin Christian, Bulwahn, Lukas, Nipkow, Tobias

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder von Blanchette, Jasmin Christian, Nipkow, Tobias

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Extending Sledgehammer with SMT Solvers von Blanchette, Jasmin Christian, Böhme, Sascha, Paulson, Lawrence C.

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Mining the Archive of Formal Proofs von Blanchette, Jasmin Christian, Haslbeck, Maximilian, Matichuk, Daniel, Nipkow, Tobias

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

LEO-II and Satallax on the Sledgehammer test bench von Sultana, Nik, Blanchette, Jasmin Christian, Paulson, Lawrence C.

Veröffentlicht in Journal of applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Mechanizing the Metatheory of Sledgehammer von Blanchette, Jasmin Christian, Popescu, Andrei

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Extending Sledgehammer with SMT Solvers: Special Issue on Selected Extended Papers of CADE-23 von BLANCHETTE, Jasmin Christian, BÖHME, Sascha, PAULSON, Lawrence C

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

A Formal Proof of Cauchy's Residue Theorem von Li, Wenda, Paulson, Lawrence C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Extending Sledgehammer with SMT Solvers von Blanchette, Jasmin Christian, Böhme, Sascha, Paulson, Lawrence C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

An Isabelle/HOL Formalisation of Green's Theorem von Abdulaziz, Mohammad, Paulson, Lawrence C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

MaSh: Machine Learning for Sledgehammer von Kühlwein, Daniel, Blanchette, Jasmin Christian, Kaliszyk, Cezary, Urban, Josef

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study von Moreira, Anamaria M., Hentz, Cleverton, Déharbe, David, de Matos, Ernesto C. B., Neto, João B. Souza, de Medeiros, Valério

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic von Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René, Traytel, Dmitriy

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings von Beringer, Lennart, Felty, Amy

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Hammering towards QED von Blanchette, Jasmin C, Kaliszyk, Cezary, Paulson, Lawrence C, Urban, Josef

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving von Traytel, D., Popescu, A., Blanchette, J. C.

Automatic Proof and Disproof in Isabelle/HOL von Blanchette, Jasmin Christian, Bulwahn, Lukas, Nipkow, Tobias

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder von Blanchette, Jasmin Christian, Nipkow, Tobias

Extending Sledgehammer with SMT Solvers von Blanchette, Jasmin Christian, Böhme, Sascha, Paulson, Lawrence C.

Mining the Archive of Formal Proofs von Blanchette, Jasmin Christian, Haslbeck, Maximilian, Matichuk, Daniel, Nipkow, Tobias

LEO-II and Satallax on the Sledgehammer test bench von Sultana, Nik, Blanchette, Jasmin Christian, Paulson, Lawrence C.

Mechanizing the Metatheory of Sledgehammer von Blanchette, Jasmin Christian, Popescu, Andrei

Extending Sledgehammer with SMT Solvers: Special Issue on Selected Extended Papers of CADE-23 von BLANCHETTE, Jasmin Christian, BÖHME, Sascha, PAULSON, Lawrence C

A Formal Proof of Cauchy's Residue Theorem von Li, Wenda, Paulson, Lawrence C.

Extending Sledgehammer with SMT Solvers von Blanchette, Jasmin Christian, Böhme, Sascha, Paulson, Lawrence C.

An Isabelle/HOL Formalisation of Green's Theorem von Abdulaziz, Mohammad, Paulson, Lawrence C.

MaSh: Machine Learning for Sledgehammer von Kühlwein, Daniel, Blanchette, Jasmin Christian, Kaliszyk, Cezary, Urban, Josef

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study von Moreira, Anamaria M., Hentz, Cleverton, Déharbe, David, de Matos, Ernesto C. B., Neto, João B. Souza, de Medeiros, Valério

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings von Beringer, Lennart, Felty, Amy

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle