Collaborated with:
S.Strodl M.Greifeneder A.Rauber
Talks about:
institut (1) preserv (1) hoppla (1) small (1) logic (1) autom (1)
Person: Petar Petrov
DBLP: Petrov:Petar
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.