Tilbage til artikeldetaljer Inductive * -Semirings Download Download PDF