Algorithmen, Strukturierung und Kompression von Beweisen

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ASCP
 
Project Title (de) Projekttitel (de)
Algorithmen, Strukturierung und Kompression von Beweisen
 
Project Title (en) Projekttitel (en)
Algorithmic Structuring and Compression of Proofs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25160-N25
 

Publications

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016