acm sigaccess conference on computers & accessibility (8)
international cross-disciplinary conference on web accessibility (4)
international journal of foundations of computer science (4)
acm international conference proceeding series (3)
information and computation (3)
information processing letters (3)
institute of electrical and electronics engineers. transactions on computers (3)
acm transactions on the web (2)
journal of the acm (2)
logic programming (paphos, 2001) (2)
theoretical computer science (2)
theory and practice of logic programming (2)
world wide web: internet and web information systems (2)
world wide web-internet and web information systems (2)
2010 ieee symposium on visual analytics science and technology, visual analytics science and technology (vast), 2010 ieee symposium on (1)
2020 ieee international conference on systems, man, and cybernetics (smc), systems, man, and cybernetics (smc), 2020 ieee international conference on (1)
9th international conference on automated deduction (argonne, il, 1988) (1)
automata, languages and programming (coventry, 1990) (1)
automata, languages and programming (nafplion, 1985) (1)
automata, languages and programming (tampere, 1988) (1)
automata, languages and programming (vienna, 1992) (1)
automated deduction---cade-11 (saratoga springs, ny, 1992) (1)
automated software engineering (1)
circuits, systems and signal processing (1)
circuits, systems, and signal processing (1)
computer aided verification (1)
distributed algorithms (amsterdam, 1987) (1)
fifth annual ieee symposium on logic in computer science (philadelphia, pa, 1990) (1)
foundations of software technology and theoretical computer science (bangalore, 1984) (1)
foundations of software technology and theoretical computer science (madras, 1994) (1)
foundations of software technology and theoretical computer science (new delhi, 1985) (1)
foundations of software technology and theoretical computer science (new delhi, 1986) (1)
frontiers of combining systems (1)
frontiers of combining systems (nancy, 2000) (1)
functional & logic programming (1)
functional and logic programming (tsukuba, 1999) (1)
ieee transactions on visualization and computer graphics (1)
information processing & management (1)
journal of applied logic (1)
journal of functional programming (1)
journal of logic programming (1)
journal of the association for computing machinery (1)
knowledge engineering review (1)
logic programming (1)
logic programming (budapest, 1993) (1)
logic programming (manchester, 1998) (1)
principles & practice of declarative programming (1)
principles of declarative programming (1)
proceedings of the sixth siam international conference on data mining (1)
rewriting techniques and applications (bordeaux, 1987) (1)