Login / Signup

nnn-permutability and linear Datalog implies symmetric Datalog.

Alexandr Kazda
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases