Author
SpringerLink (Online service)
32
IMBSA (Symposium)
4
Workshop on Logic, Language, Information and Computation
4
Queiroz, Ruy J. G. B. de
3
Bozzano, Marco,
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
Ong, Luke
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
RuleML+RR (Joint Conference)
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
2
Abate, Alessandro,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Aslansefat, Koorosh,
1
Beckert, Bernhard,
1
Benzmüller, Christoph,
1
Bloem, Roderick P.,
1
Bojańczyk, Mikołaj,
1
Bubel, Richard,
1
Calvanese, Diego,
1
Cholvy, Laurence,
1
Ciabattoni, Agata,
1
Coecke, Bob
1
DCFS (Workshop)
1
Davis, Martin,
1
Dawar, Anuj
1
Deshmukh, Jyotirmoy,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Fehnker, Ansgar,
1
FoIKS (Symposium)
1
FoIKS (Symposium) Dortmund, Germany)
1
Fodor, Paul,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Gaggl, Sarah,
1
Geeraerts, Gilles,
1
Gurfinkel, Arie,
1
Herzig, Andreas, 1949-
1
Hähnle, Reiner,
1
Höfig, Kai
1
IMBSA (Symposium) Munich, Germany)
1
IMBSA (Symposium) Online)
1
IMBSA (Symposium) Thessalonikē, Greece)
1
more ...