On algorithms and complexity for sets with cardinality constraints : PSPACE and PTIME logics for program analysis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Auch als: MIT CSAIL Technical Report ; MIT-LCS-TR-997
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2006]
- Urheber
-
Kuncak, Viktor
Rinard, Martin
Marnette, Bruno
- URN
-
urn:nbn:de:0030-drops-5125
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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
- Kuncak, Viktor
- Rinard, Martin
- Marnette, Bruno
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2006]
Ähnliche Objekte (12)
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
Randomness in complexity theory and logics
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity and Expressiveness of Description Logics with Counting
Towards Constructive Description Logics for Abstraction and Refinement
Logics for Mazurkiewicz traces
Logics for linguistic structures
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
To and fro between tableaus and automata for description logics
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
On the complexity of fragments of nonmonotonic logics
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
Randomness in complexity theory and logics
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity and Expressiveness of Description Logics with Counting
Towards Constructive Description Logics for Abstraction and Refinement
Logics for Mazurkiewicz traces
Logics for linguistic structures
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
To and fro between tableaus and automata for description logics
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
On the complexity of fragments of nonmonotonic logics
Complexity results and practical algorithms for logics in knowledge representation
Complexity results and practical algorithms for logics in knowledge representation
Randomness in complexity theory and logics
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity and Expressiveness of Description Logics with Counting
Towards Constructive Description Logics for Abstraction and Refinement
Logics for Mazurkiewicz traces
Logics for linguistic structures
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
To and fro between tableaus and automata for description logics
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures