Author
SpringerLink (Online service)
183
SpringerLink (Online Service)
94
ScienceDirect (Online service)
61
Workshop on Logic, Language, Information and Computation
15
International Conference on Formal Concept Analysis
12
Logic Colloquium
12
FroCoS (Symposium)
10
International Conference on Automated Deduction
9
JELIA (Conference)
9
Queiroz, Ruy J. G. B. de
8
Queiroz, Ruy J. G. B. de,
8
Association for Symbolic Logic
6
Gabbay, Dov M., 1945-
6
ICLA (Conference : Logic)
6
Benthem, Johan van, 1949-
5
AISC (Conference)
4
Crossley, John N.
4
Dalen, D. van 1932-
4
Herzig, Andreas, 1949-
4
IMBSA (Symposium)
4
International Congress of Logic, Methodology, and Philosophy of Science
4
Wang, Dongming, 1961-
4
Béziau, Jean-Yves
3
Ebbinghaus, Heinz-Dieter, 1939-
3
Gandy, R. O.
3
ITP (Conference)
3
International Colloquium on Grammatical Inference
3
International Conference on Logic and Argumentation
3
International Conference on Logic and Argumentation Hangzhou, China)
3
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
3
Li, Wei, 1943 June-
3
Mostowski, Andrzej
3
Nerode, Anil, 1932-
3
Rudolph, Sebastian (Computer scientist)
3
RuleML+RR (Joint Conference)
3
Suppes, Patrick, 1922-2014
3
Wansing, H.
3
Akama, Seiki,
2
Artemov, S. N.
2
Ben-Ari, M., 1948-
2
Bozzano, Marco,
2
Buchsbaum, Arthur,
2
Béziau, Jean-Yves,
2
Calculemus (Symposium)
2
Calmet, Jacques,
2
Carnielli, Walter A.
2
Castillo Morales, Encarnación,
2
Cellier, Peggy,
2
Conference on Computability in Europe
2
Cook, Roy T., 1972-
2
more ...