|
|
Details: |
|
|
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
|
URL: |
http://www.csl.sri.com/
|
Title: |
Computer Science Laboratory |
Image: |
|
Description: |
Science, Math, Logic and Foundations, Institutions - SRI International. Computer Science Laboratory: Formal Methods and Dependable Systems. |
Similar: |
|
|
|
Related Sites |
|
Stanford (Popularity: ): Logic Group.
(Austria) Vienna University of Technology (Popularity: ): Group in Applications of Formal Logic.
(Finland) Helsinki (Popularity: ): Logic Group.
(Spain) Universidad Politécnica de Madrid (Popularity: ): Computational Logic, Implementation, and Parallelism Lab.
(Austria) Linz - Hagenberg (Popularity: ): Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources.
Aachen (Popularity: ): Mathematical Foundations of Computer Science.
(Russia) St. Petersburg (Popularity: ): Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
(Netherlands) Amsterdam (Popularity: ): Institute for Logic, Language and Computation.
(Austria) University of Vienna (Popularity: ): Department of Formal Logic.
Burke, Dennis (Popularity: ): Miami University of Ohio.
|
|
Popular Sites |
|
|
Related Press |
|
|
Related Articles |
|
|
|