Automated Reasoning in Discrete Mathematics and Algorithmic Computing

01.12.2025 - 30.11.2026
Research funding project

People

Project leader

Institute

Donation

  • SBA Research gemeinnützige GmbH

Research focus

  • Logic and Computation: 100%

Publications