Verfasser Suchresultate :: Subito Katalog

1

SAT-based finite model generation for higher-order logic

von Weber, Tjark
Veröffentlicht 2008

Volltext
Volltext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

von Gengelbach, Arve
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: