- (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/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - 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/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It |
