Monadic datalog, tree validity, and limited access containment
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
Association for Computing Machinery
2019
|
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
Association for Computing Machinery
2019
|