zweidimensionales bewegtes Bild
Executable First-order Queries in the Logic of Information Flows
- Standort
-
Hannover TIB
- Umfang
-
10MB, 00:12:47:00 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
23rd International Conference on Database Theory (ICDT 2020) ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
International Conference on Database Theory (ICDT)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Aamar, Heba
Bogaerts, Bart
Surinx, Dimitri
Ternovska, Eugenia
Bussche, Jan Van den
- DOI
-
10.5446/46839
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Aamar, Heba
- Bogaerts, Bart
- Surinx, Dimitri
- Ternovska, Eugenia
- Bussche, Jan Van den
- International Conference on Database Theory (ICDT)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Fragments of first-order logic over infinite words
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
On the Translation of Higher-Order Problems into First-Order Logic
Alternating complexity of counting first-order logic for the subword order
The succinctness of first-order logic on linear orders
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Fragments of first-order logic over infinite words
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
On the Translation of Higher-Order Problems into First-Order Logic
Alternating complexity of counting first-order logic for the subword order
The succinctness of first-order logic on linear orders
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Fragments of first-order logic over infinite words
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
On the Translation of Higher-Order Problems into First-Order Logic
Alternating complexity of counting first-order logic for the subword order