Decidability Extracted: SYNTHESIZING “CORRECT-BY-CONSTRUCTION” DECISION PROCEDURES FROM CONSTRUCTIVE PROOFS (1998)

by James L. Caldwell, II
Citations:3 - 0 self