AtomSeek the directory or science  

Math: Logic and Foundations: Institutions


the entire directory   only this category Advanced Search
 
Home: Math: Logic and Foundations: Institutions
CATEGORIES:
  Europe (41)
  North America (18)
LINKS:
  • (Australia) Canberra
    http://cslab.anu.edu.au/ar/
    Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

  • Linear Naming and Computation
    http://www.linearity.org/
    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.

 
  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


© atomseek.com
Webmaster - miroweb.com