Monadic datalog, tree validity, and limited access containment
Egile Nagusiak: | , , , |
---|---|
Formatua: | Journal article |
Argitaratua: |
Association for Computing Machinery
2019
|
Egile Nagusiak: | , , , |
---|---|
Formatua: | Journal article |
Argitaratua: |
Association for Computing Machinery
2019
|