代だい数すう理り論ろんMeanings1nounalgebraic theorycomputingTechnical term in computing and mathematics for a theory expressed in algebraic terms.この代だい数すう理り論ろんはプログラムの検けん証しょうに使つかわれる。This algebraic theory is used for program verification.
