DMCA

Datalog and constraint satisfaction with infinite templates (2006)

by Manuel Bodirsky , Víctor Dalmau
Venue:In Proceedings of the 23rd International Symposium on Theoretical Aspects of Computer Science (STACS’06), LNCS 3884
Citations:39 - 21 self