Startseite › Forschung › Projekte
Projekte
- Conditionals - Discovery and Revison (CONDOR)
- Structure Oriented Testing of Erlang Programs (STEP)
- Complete Type Inference (CTI)
- Typical for Annotated Prolog: A type-checking tool for Prolog
- Compilation of Typed Logic (CTL)
- Analysis and Verification of Annotated Logic Programs
- Probabilistic Logic and Knowledge Representation
- PROTOS-L
Forschungscluster
Wir sind an dem folgenden Forschungscluster der FernUniversität beteiligt :