Symmetric Datalog and Constraint Satisfaction Problems in Logspace - researchr publication related

researchr

You are not signed in
Sign in
Sign up

László Egri, Benoit Larose, Pascal Tesson. Symmetric Datalog and Constraint Satisfaction Problems in Logspace. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 193-202, IEEE Computer Society, 2007. [doi]

The following publications are possibly variants of this publication:

Symmetric Datalog and Constraint Satisfaction Problems in LogspaceLászló Egri, Benoit Larose, Pascal Tesson. eccc, 14(024), 2007. [doi]

Maltsev + Datalog --> Symmetric DatalogVíctor Dalmau, Benoit Larose. lics 2008: 297-306 [doi]

runs on WebDSL