issues
search
pdm-book
/
community
75
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update?
#9
thorvald94
opened
5 months ago
0
Correctness issue in Algorithm 11
#8
danipozo
opened
6 months ago
0
Correctness issue in Algorithm 8
#7
timplication
opened
1 year ago
0
Error in RA -> FO conversion
#6
meygerjos
opened
1 year ago
0
Definition 39.7: Eval(\varphi, \mathcal{I}, \eta) - missing \forall case
#5
bscarone
closed
1 year ago
1
Typo in Definition 39.2 (Closed and Open-World Semantics, page 369)
#4
bscarone
closed
1 year ago
1
Suspicious containment statement in Example 15.1
#3
yxia0
closed
1 year ago
1
Explicit definiton of query size
#2
xxks-kkk
opened
2 years ago
1
Reverse bibliographic references?
#1
a3nm
closed
2 years ago
3