Combining Higher-Order Logic with Set Theory Formalizations

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 1 online resource.
Sprache
Englisch

Erschienen in
Combining Higher-Order Logic with Set Theory Formalizations ; volume:67 ; number:2 ; day:25 ; month:5 ; year:2023 ; pages:1-23 ; date:6.2023
Journal of automated reasoning ; 67, Heft 2 (25.5.2023), 1-23, 6.2023

Urheber
Kaliszyk, Cezary
Pąk, Karol
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10817-023-09663-5
URN
urn:nbn:de:101:1-2023092210111794893139
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:47 MESZ

Datenpartner

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

Beteiligte

  • Kaliszyk, Cezary
  • Pąk, Karol
  • SpringerLink (Online service)

Ähnliche Objekte (12)

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Learning higher-order logic programs

Learning higher-order logic programs

Higher-Order Logic and Disquotational Truth

Higher-Order Logic and Disquotational Truth

A logic of higher-order preferences

A logic of higher-order preferences

Topos semantics for higher-order modal logic

Hochschulschrift

Topos semantics for higher-order modal logic

Extremal fixpoints for higher-order modal logic

Extremal fixpoints for higher-order modal logic

Automatic proofs and refutations for higher-order logic

Hochschulschrift

Automatic proofs and refutations for higher-order logic

Mathematical Modality: An Investigation in Higher-order Logic

Mathematical Modality: An Investigation in Higher-order Logic

Code generation from specifications in higher-order logic

Hochschulschrift

Code generation from specifications in higher-order logic

Automatic Proofs and Refutations for Higher-Order Logic

Hochschulschrift

Automatic Proofs and Refutations for Higher-Order Logic

Counterexample generation for higher-order logic using functional and logic programming

Hochschulschrift

Counterexample generation for higher-order logic using functional and logic programming

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

Hochschulschrift

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

Verbundene Objekte