ScienceDirectory.info is a leading science website including agriculture, metrology, industrial engineering, earth sciences, geography, mathematic, aquaculture, aerospace and more.
Browse Categories
Agriculture
Alternative Science
Amateur Science
Biology
Chemistry
Cognitive Science
Complex Systems
Computer Science
Directories
Earth Sciences
Ecology
Education
Energy
Engineering
Environment
Forensics
Geography
Institutions
Mathematics
Physics
Resources
Shopping and Services
Social Sciences
Space
Technology
 
Institutions
You are here: Home > Mathematics > Logic and Foundations > Institutions
Listings
(Netherlands) Amsterdam
Institute for Logic, Language and Computation.
http://www.illc.uva.nl/
(Netherlands) Amsterdam
Dutch Research School in Logic (OZSL).
http://www.ozsl.uva.nl/
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/
SRI International
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
http://www.csl.sri.com/
Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site | Science Articles
Copyright © ScienceDirectory.info, Inc. All Rights Reserved.
Guide to resources about agrochemicals, biochemistry, laboratories, physics and astronomy, software, biochemistry, reliability engineering, chemist, molarity, agriculture, medical physics and useful information with ScienceDirectory.info