Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

ISSN: 2192-6247

Umfang: Online-Ressource

Sprache: Englisch

Erschienen in: Technische Berichte des Instituts für Informatik der CAU Kiel ; 9806

Klassifikation: Mathematik

Ereignis: Veröffentlichung

(wo): Kiel

(wer): Universitätsbibliothek Kiel

(wann): 1998

Urheber: Maes, Arnaud

URN: urn:nbn:de:gbv:8:1-zs-00000220-a0

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

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

Maes, Arnaud
Universitätsbibliothek Kiel

Entstanden

1998

Ähnliche Objekte (12)

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

Hochschulschrift

On the expressive power of first-order logic with built in predicates

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

Hochschulschrift

On the expressive power of first-order logic with built in predicates

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

Hochschulschrift

On the expressive power of first-order logic with built in predicates

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

Complexity of counting first-order logic for the subword order

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

Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

On the expressive power of first-order logic with built in predicates

First-order logic

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

On the expressive power of first-order logic with built in predicates

First-order logic

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

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

On Invariant Formulae of First-Order Logic with Numerical Predicates

On the expressive power of first-order logic with built in predicates

First-order logic

First-order logic

First-order thermodynamics of modified gravity

First-order theory of subtyping constraints

First-Order Definability of Transition Structures

Kinetics of first-order phase transitions

A first-order representation of stable models

First-order dynamic logic

Complexity of counting first-order logic for the subword order

Verbundene Objekte

Passwort zurücksetzen