| Directory > Science > Math > Logic and Foundations > Institutions (Colombia) Bogotá
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
http://www.matematicas.unal.edu.co/villaveces/logica.html
Reviews Rating: Not yet Rated
Whois Check
Linear Naming and Computation
A distributed research group associated with the Church Project working on the design and
implementation of new forms of procedure calling protocols based on the notion of linear naming,
together with relevant supporting formal tools and implementation technology.
http://www.linearity.org/
Reviews Rating: Not yet Rated
Whois Check
(Japan) Kobe
Foundations of Mathematics and Computer Science.
http://kurt.cla.kobe-u.ac.jp/
Reviews Rating: Not yet Rated
Whois Check
(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Reviews Rating: Not yet Rated
Whois Check
(Israel) Haifa
Logic Seminar.
http://www.cs.technion.ac.il/~admlogic/lcoll.html
Reviews Rating: Not yet Rated
Whois Check
(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.
http://cslab.anu.edu.au/ar/
Reviews Rating: Not yet Rated
Whois Check
|
