- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, 16-18 January 2002, pp.203-216
- Klassifikation
-
Informatik
- Schlagwort
-
Entscheidbarkeit ; Untertyp
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2004
- Beteiligte Personen und Organisationen
-
Su, Zhendong
Aiken, Alexander
Niehren, Joachim
Priesnitz, Tim
Treinen, Ralf
- URN
-
urn:nbn:de:bsz:291-scidok-2843
- 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.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Su, Zhendong
- Aiken, Alexander
- Niehren, Joachim
- Priesnitz, Tim
- Treinen, Ralf
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2004
Ähnliche Objekte (12)
First-order logic
First-order logic
First-order dynamic logic
Some basic notions of first-order unification theory
Certifying Proofs in the First-Order Theory of Rewriting
First-order and second-order ambiguity aversion
A smoothing test under first-order autoregressive processes and a first-order moving-average correction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
First-order thermodynamics of modified gravity
Multivariate First-Order Integer-Valued Autoregressions
First-Order Definability of Transition Structures
A First-Order Logic with Frames
First-order logic
First-order logic
First-order dynamic logic
Some basic notions of first-order unification theory
Certifying Proofs in the First-Order Theory of Rewriting
First-order and second-order ambiguity aversion
A smoothing test under first-order autoregressive processes and a first-order moving-average correction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
First-order thermodynamics of modified gravity
Multivariate First-Order Integer-Valued Autoregressions
First-Order Definability of Transition Structures
A First-Order Logic with Frames
First-order logic
First-order logic
First-order dynamic logic
Some basic notions of first-order unification theory
Certifying Proofs in the First-Order Theory of Rewriting
First-order and second-order ambiguity aversion
A smoothing test under first-order autoregressive processes and a first-order moving-average correction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
First-order thermodynamics of modified gravity
Multivariate First-Order Integer-Valued Autoregressions
First-Order Definability of Transition Structures