Skip to content
cs-conference-ranking.org

Induction in Algebra: A First Case Study.

Peter Schuster

VenueA*LICS
Year2012
ProceedingsLICS
DBLP recordconf/lics/Schuster12 ↗

Browse the full LICS paper archive.