Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Website Balder ten Cate
[go: Go Back, main page]

620?'620px':'auto');">
Balder ten Cate
Co-authors
Carlos Areces | Johan van Benthem | Nick Bezhanishvili | Guram Bezhanishvili | Patrick Blackburn | Willem Conradie | Jan van Eijck | Massimo Franceschet | Juan Heguiabehere | Tadeusz Litak | Maarten Marx | Marie Šáfaŕová | Darko Sarenac | Ken Shan | Petrúcio Viana
Groups and organizations
Information and Language Processing Systems group (ILPS)
Informatics Institute (IvI)
Institute for Logic, Language and Computation (ILLC)
Vereniging voor Logica (VvL)
European Association for Logic, Language and Information (FOLLI)
Onderzoeksschool Logica (OZSL)
Association for Symbolic Logic (ASL)
Network of Excellence in Computational Logic (CologNet)
(logo)
Useful links
Map24 | BookFinder | Comprehensive LaTeX symbol list (the ultimate 105 page reference)

Last modified: Friday, 06-Jan-2006 09:59:50 MET Validate HTML     Validate CSS