On the Translation of Higher-Order Problems into First-Order Logic

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Umfang: Online-Ressource

Sprache: Englisch

Ereignis: Veröffentlichung

(wo): Kaiserslautern

(wer): Technische Universität Kaiserslautern, Fachbereich Informatik

(wann): 1999

Urheber: Kerber, Manfred

URN: urn:nbn:de:hbz:386-kluedo-2501

Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Letzte Aktualisierung: 25.03.2025, 13:55 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

Kerber, Manfred
Technische Universität Kaiserslautern, Fachbereich Informatik

Entstanden

1999

Ähnliche Objekte (12)

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Hochschulschrift

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

Arbeitspapier

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Hochschulschrift

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

Arbeitspapier

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Hochschulschrift

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

Arbeitspapier

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

On the Translation of Higher-Order Problems into First-Order Logic

Angaben zum Objekt

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

First-order logic

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

First-order logic

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

First-order logic

First-order logic

Sound and complete translations from sorted higher-order logic into sorted first-order logic

First-order dynamic logic

Higher-order constraint logic programming

A First-Order Logic with Frames

First-order and higher-order inflation expectations : evidence about households and firms

First-order and higher-order inflation expectations: Evidence about households and firms

Complexity of counting first-order logic for the subword order

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Alternating complexity of counting first-order logic for the subword order

Extremal fixpoints for higher-order modal logic

Verbundene Objekte

Passwort zurücksetzen