Collaborated with:
S.Strodl P.Petrov A.Rauber
Talks about:
institut (1) preserv (1) hoppla (1) small (1) logic (1) autom (1)
Person: Michael Greifeneder
DBLP: Greifeneder:Michael
Contributed to:
Wrote 1 papers:
- ECDL-2010-StrodlPGR #automation #logic
- Automating Logical Preservation for Small Institutions with Hoppla (SS, PP, MG, AR), pp. 124–135.