structured proof
Recently Published Documents

TOTAL DOCUMENTS

3
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structured proof procedures

1995 ◽  
Vol 15 (1) ◽  
pp. 1-18
Author(s):  
Enrico Giunchiglia ◽  
Alessandro Armando ◽  
Paolo Pecchiari
Keyword(s):  
Structured Proof

A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm

1988 ◽  
Author(s):  
Jennifer L. Welch ◽  
Leslie Lamport ◽  
Nancy Lynch
Keyword(s):  
Spanning Tree ◽  
Minimum Spanning Tree ◽  
Proof Technique ◽  
Tree Algorithm ◽  
Structured Proof

A lattice-structured proof of a minimum spanning

1988 ◽  
Author(s):  
Jennifer L. Welch ◽  
Leslie Lamport ◽  
Nancy Lynch
Keyword(s):  
Structured Proof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document