-
1
Answer Counting under Guarded TGDs
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
-
3
The uniform measure of simple regular sets of infinite trees
Veröffentlicht in Information and computation
VolltextArtikel -
4
Tree games with regular objectives
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
5
-
6
-
7
-
8
On Computing the Measures of First-Order Definable Sets of Trees
Veröffentlicht in arXiv.org
VolltextArtikel -
9
-
10
-
11
-
12
Efficiently Enumerating Answers to Ontology-Mediated Queries
Veröffentlicht in arXiv.org
VolltextArtikel -
13
-
14
-
15
-
16
-
17
The Uniform Measure of Simple Regular Sets of Infinite Trees
Veröffentlicht in arXiv.org
VolltextArtikel -
18
-
19
Efficient Answer Enumeration in Description Logics with Functional Roles -- Extended Version
Veröffentlicht in arXiv.org
VolltextArtikel -
20