Project Acronym Projekt Kurzbezeichnung
Pandaforest
Project Title (de) Projekttitel (de)
Beweisanalyse und autom. Deduktion für rekursive Strukturen
Project Title (en) Projekttitel (en)
Proof analysis and autom. deduction for recursive structures
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in