Science Central - All about Science

Thursday, 8 January, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Institutions UPDATE URL | REPORT BROKEN LINK

Linear Naming and Computation

 Popularity:    Hit: 274 | Visit: 3
Details
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.

Sponsored Links:


URL:
Title: Linear Naming and Computation
Description:

Category:


Related sites
(Australia) Canberra (Popularity: ): Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms ...
(Israel) Haifa (Popularity: ): Logic Seminar.
(Israel) Ben Gurion University of the Negev (Popularity: ): Mathematical and Computational Logic Research Group.
(Japan) Kobe (Popularity: ): Foundations of Mathematics and Computer Science.
(Colombia) Bogotá (Popularity: ): Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
Logic at Leeds Homepage (Popularity: ): Information on the Leeds University Logic Group
Berkeley, University of California (Popularity: ): Group in Logic and the Methodology of Science.
Brigham Young University (Popularity: ): Laboratory for Applied Logic.
Pennsylvania, University of (Popularity: ): Logic and Computation Group.
Las Cruces, New Mexico (Popularity: ): Laboratory for Logic,Databases and Advanced Programming.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact