Subdirectories of Institutions:
Categories related to Science: Math: Logic and Foundations: Institutions: Science: Math: Academic Departments (955) Science: Math: Algebra: Category Theory: Research Groups (13) Websites on Institutions: (Australia) Canberra Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems. (Colombia) Bogotá Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes). (Israel) Ben Gurion University of the Negev Mathematical and Computational Logic Research Group. (Israel) Haifa Logic Seminar. (Japan) Kobe Foundations of Mathematics and Computer Science. Logic at Leeds Homepage Information on the Leeds University Logic Group
|
|