Concepedia
Information and Computation · 1995 · 21 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsNumber TheoryTheory Of ComputationCombinatorial Number TheoryComputational Number TheoryCounting PrinciplesModel CheckingNumber-theoretic AlgorithmsApplications In Computational Number TheoryChecksum AlgorithmsNumber-theoretic Proofs