Automated theorem proving for dependent typed theories via a translation to higher-order logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Freie Universität Berlin
(wann)
2023
Urheber
Rothgang, Colin

DOI
10.17169/refubium-44093
URN
urn:nbn:de:kobv:188-refubium-44381-2
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Rothgang, Colin
  • Freie Universität Berlin

Entstanden

  • 2023

Ähnliche Objekte (12)

Theorem proving in large theories

Theorem proving in large theories

Proving Theorems of Higher-Order Logic with SMT Solvers

Hochschulschrift

Proving Theorems of Higher-Order Logic with SMT Solvers

Higher-Order Automated Theorem Proving for Natural Language Semantics

Higher-Order Automated Theorem Proving for Natural Language Semantics

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift | Online-Publikation

Equality and extensionality in automated higher-order theorem proving

Proving theorems of higher-order logic with SMT solvers

Hochschulschrift

Proving theorems of higher-order logic with SMT solvers

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift

Equality and extensionality in automated higher-order theorem proving

Superposition theorem proving for commutative algebraic theories

Hochschulschrift

Superposition theorem proving for commutative algebraic theories

Mechanizing inductive theorem proving in conditional theories

Hochschulschrift

Mechanizing inductive theorem proving in conditional theories

Superposition theorem proving for commutative algebraic theories

Hochschulschrift | Online-Publikation

Superposition theorem proving for commutative algebraic theories

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Inductive theorem proving in theories specified by positive, negative-conditional equations

Inductive theorem proving in theories specified by positive, negative-conditional equations

Verbundene Objekte