Logo: German Research InstitutionsGerman Research Institutions

Department of the Basic Principles of Algebra and Logic in Computer Science

  • Doctoral programmes
  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
Leipzig University

Department of the Basic Principles of Algebra and Logic in Computer Science

Augusteum A-424, 04109 Leipzig

Go to websiteComputer Science (General)

Affiliated institutions

  • Centre for Biotechnology and Biomedicine (BBZ)
  • German Centre for Integrative Biodiversity Research (iDiv)
  • Faculty of Education
  • Faculty of Chemistry and Mineralogy
  • Faculty of History, Art and Area Studies
  • Faculty of Life Sciences
  • Faculty of Mathematics and Computer Science
    • Institute of Computer Science
      • Applied Computer Science
      • Practical Computer Science
      • Chair of Technical Computer Science
      • Theoretical Computer Science
        • Department of the Basic Principles of Algebra and Logic in Computer Science
        • Research Group Automata and Formal Languages
        • Intelligent Systems Department
    • Institute of Mathematics
    • Professorship for the basics of knowledge representation
  • Faculty of Physics and Earth System Sciences
  • Faculty of Social Science and Philosophy
  • Research Group Multiple Secularities - Beyond the West, Beyond Modernities
  • Interfaculty Centre for Bioactive Matter - b-ACT matter
  • Interdisciplinary Centre for Bioinformatics
  • Faculty of Law
  • Leipzig Research Centre Global Dynamics (ReCentGlobe)
  • LeipzigLab Global Health
  • Faculty of Medicine
  • Neues Augusteum
  • Faculty of Philology
  • Faculty of Sports Science
  • Preparatory College of Saxony
  • Saxon Incubator for Clinical Translation (SIKT)
  • Faculty of Theology
  • University Archive
  • University Library
  • University of Leipzig Medical Center
  • Faculty of Veterinary Medicine
  • Faculty of Economics and Management
  • University Sports Centre
  • Centre for Teacher Training and School Research
  • Media and Communication Centre