Attribut:Anzeigetitel (Display title of)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  +
1
11 Research Associates / PhD Students (m/f/x)  +
11 wiss. Mitarbeiter/innen / Dokotrand/innen (m/w/d)  +
11. EMCL Workshop  +
11th EMCL Workshop  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  +
12. EMCL Workshop  +
12th EMCL Workshop  +
17. WLP - Workshop Logic Programming  +
17. WLP - Workshop Logische Programmierung  +
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002  +
18th International Conference on Rewriting Techniques and Applications (RTA 2007)  +
2
2 Research Associates / PhD Students / Postdocs (Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)  +
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  +
2004 Teaching Award by the Association of Friends and Sponsors of the TU Dresden  +