Card

Organization Name (de) Name der Organisation (de)

E185 - Institut für Computersprachen

Parent OrgUnit Übergeordnete Organisation

E180 - Fakultät für Informatik

OrgUnit funded Projects

Results 1-7 of 7 (Search time: 0.001 seconds).

Project	Principle Investigator	Coordinating Department
Algorithmen, Strukturierung und Kompression von Beweisen	Leitsch, Alexander	E185 - Institut für Computersprachen
ALL-TIMES: Integrating European Timing Analysis Technology	Knoop, Jens	E185 - Institut für Computersprachen
Correct compilers for correct application specific processors	Krall, Andreas	E185 - Institut für Computersprachen
Dialogue Game Semantics for Fuzzy Logics	Fermüller, Christian	E185 - Institut für Computersprachen
LogICCC - Contextualism, supervaluation, and fuzzy logic	Fermüller, Christian	E185 - Institut für Computersprachen
Optimal Code Generation for Explicitly Parallel Processors	Krall, Andreas	E185 - Institut für Computersprachen
Proof Theoretic Applications of CERES	Leitsch, Alexander	E185 - Institut für Computersprachen