Suchergebnisse - Abrahamsson, Oskar | OPAC THWS

1

A verified proof checker for higher-order logic von Abrahamsson, Oskar

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Verified Theorem Prover for Higher-Order Logic von Abrahamsson, Oskar

Volltext bestellen

Dissertation

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Verified proof checking for higher-order logic von Abrahamsson, Oskar

Volltext bestellen

Dissertation

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Proof-Producing Synthesis of CakeML from Monadic HOL Functions von Abrahamsson, Oskar, Ho, Son, Kanabar, Hrutvik, Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Tan, Yong Kiam

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Cakes That Bake Cakes: Dynamic Computation in CakeML von Sewell, Thomas, Myreen, Magnus O., Tan, Yong Kiam, Kumar, Ramana, Mihajlovic, Alexander, Abrahamsson, Oskar, Owens, Scott

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

PureCake: A Verified Compiler for a Lazy Functional Language von Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, Myreen, Magnus O., Norrish, Michael, Pohjola, Johannes Åman, Zanetti, Riccardo

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions von Ho, Son, Abrahamsson, Oskar, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam, Norrish, Michael

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Automatically Introducing Tail Recursion in CakeML von Abrahamsson, Oskar, Myreen, Magnus O.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Fast, Verified Computation for Candle von Abrahamsson, Oskar, Myreen, Magnus

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Candle: A Verified Implementation of HOL Light von Abrahamsson, Oskar, Myreen, Magnus O, Kumar, Ramana, Sewell, Thomas

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Suspension mechanism of mower and mower von OSKAR ABRAHAMSSON, JONSSON HENRIK

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

FDG-PET/CT for lymph node staging prior to radical cystectomy von Pihl, Vilhelm, Markus, Maria, Abrahamsson, Johan, Bläckberg, Mats, Hagberg, Oskar, Kollberg, Petter, Simoulis, Athanasios, Trägårdh, Elin, Liedberg, Fredrik

Veröffentlicht in European journal of hybrid imaging

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Location of Retroperitoneal Lymph Node Metastases in Upper Tract Urothelial Carcinoma: Results from a Prospective Lymph Node Mapping Study von Bobjer, Johannes, Gerdtsson, Axel, Abrahamsson, Johan, Baseckas, Gediminas, Bergkvist, Mats, Bläckberg, Mats, Brändstedt, Johan, Jancke, Georg, Hagberg, Oskar, Kollberg, Petter, Lundström, Karl-Johan, Löfgren, Annica, Nyberg, Martin, Rian Mårtensson, Liselotte, Saemundsson, Ymir, Ståhl, Elin, Sörenby, Anne, Warnolf, Åsa, Liedberg, Fredrik

Veröffentlicht in European Urology Open Science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: