AG Formale Methoden und Deduktion des Fachbereiches Informatik der Universität Kaiserslautern
Informatik / Forschungseinrichtungen
AG Formale Methoden und Deduktion des Fachbereiches Informatik der Universität Kaiserslautern
In der Arbeitsgruppe werden in Forschung und Lehre effiziente Algorithmen zu Problemen aus verschiedenen Gebieten der Informatik entwickelt und bezüglich ihrer Leistungsfähigkeit mit dem theoretischen Optimum verglichen.
Im Zentrum der aktuellen Untersuchungen stehen Algorithmen im Zusammenhang mit Reduktionssystemen.
Branchen
Webseite
Zuletzt aktualisiert: 26.04.2025 / Daten ändern
Bewertung
Erfahrungen mit »AG Formale Methoden und Deduktion des Fachbereiches Informatik der Universität Kaiserslautern«, agent.informatik.uni-kl.de
Forschungseinrichtungen: Informatik
Weitere Anbieter im Branchenbuch
Forschungseinrichtungen / Informatik Die vom Institut für Informationsmanagement Bremen organisierte E-Government-Akademie schl... 
Forschungseinrichtungen / Informatik Das private Forschungsinstitut für angewandte Informatik hat das Ziel, Systeme zu entwicke... 
Forschungseinrichtungen / Informatik Die Forschungsgruppe Entscheidungsunterstützende Systeme ist in den Bereichen Optische Meß... 
Forschungseinrichtungen / Informatik Das Institut stellt sich, Forschungsgebiete und Geschäftsfelder vor und bietet Publikation... 
Forschungseinrichtungen / Informatik Das Institut beschäftigt sich mit Fragen des Informationsmanagements und mit betriebswirts... 
Informatik / Werkzeuge Das Institut beschäftigt sich mit Entwicklung und Einsatz von Informatik-Werkzeugen und -S... 
Informatik / Forschungseinrichtungen Von der Theorie zur Praxis: Entwicklung und Transfer von Informatik-Technologien.