Previous
Next
Journal
- logical methods in computer science1,359
- electronic proceedings in theoretical computer science670
- theory and practice of logic programming109
- acm transactions on computational logic56
- theoretical computer science36
- journal of logic and computation29
- information and computation26
- proceedings of the acm on programming languages25
- electronic notes in theoretical computer science23