Suchergebnisse - Rothgang, Colin | OPAC THWS

1

Alignment-based Translations Across Formal Systems Using Interface Theories von Müller, Dennis, Rothgang, Colin, Liu, Yufei, Rabe, Florian

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Automated theorem proving for dependent typed theories via a translation to higher-order logic von Rothgang, Colin

Volltext bestellen

Dissertation

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A New Export of the Mizar Mathematical Library von Rothgang, Colin, Korniłowicz, Artur, Rabe, Florian

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Representing Structural Language Features in Formal Meta-languages von Müller, Dennis, Rabe, Florian, Rothgang, Colin, Kohlhase, Michael

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint von Rothgang, Colin, Rabe, Florian, Benzmüller, Christoph

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint von Rothgang, Colin, Rabe, Florian, Benzmüller, Christoph

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Alignment-based Translations Across Formal Systems Using Interface Theories von Müller, Dennis, Rothgang, Colin, Liu, Yufei, Rabe, Florian

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: