![](/img/cover-not-exists.png)
[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Maltsev + Datalog --≫ Symmetric Datalog
Dalmau, Victor, Larose, BenoitYear:
2008
Language:
english
DOI:
10.1109/lics.2008.14
File:
PDF, 244 KB
english, 2008