Constraints in computational logics
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Decidable Theories of Cayley-Graphs
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Hi-index | 0.00 |