Verfasser Suchresultate :: Subito Katalog

1

Superposition with First-class Booleans and Inprocessing Clausification

von Nummelin, Visa
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Superposition for Full Higher-order Logic

von Bentkamp, Alexander
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Making Higher-Order Superposition Work

von Vukmirović, Petar
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: