Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Graph properties checkable in linear time in the number of vertices
Journal of Computer and System Sciences
Hi-index | 5.23 |