| 
|
Quote: with reduction languages, can derive proofs in terms of the algebra instead of a separate logical system
topics >
all references >
references a-b >
Group:
program proving
Quotation Skeleton
One advantage of this algebra over other proof … rather than having to state proofs in a … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)