Monadic datalog, tree validity, and limited access containment
Autori principali: | , , , |
---|---|
Natura: | Journal article |
Pubblicazione: |
Association for Computing Machinery
2019
|
Autori principali: | , , , |
---|---|
Natura: | Journal article |
Pubblicazione: |
Association for Computing Machinery
2019
|