Structured proof procedures

Annals of Mathematics and Artificial Intelligence ◽

10.1007/bf01535839 ◽

1995 ◽

Vol 15 (1) ◽

pp. 1-18

Author(s):

Enrico Giunchiglia ◽

Alessandro Armando ◽

Paolo Pecchiari

Keyword(s):

Structured Proof

Download Full-text

A lattice-structured proof of a minimum spanning

Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - PODC '88 ◽

10.1145/62546.62552 ◽

1988 ◽

Cited By ~ 4

Author(s):

Jennifer L. Welch ◽

Leslie Lamport ◽

Nancy Lynch

Keyword(s):

Structured Proof

Download Full-text

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

10.21236/ada198312 ◽

1988 ◽

Cited By ~ 18

Author(s):

Jennifer L. Welch ◽

Leslie Lamport ◽

Nancy Lynch

Keyword(s):

Spanning Tree ◽

Minimum Spanning Tree ◽

Proof Technique ◽

Tree Algorithm ◽

Structured Proof

Download Full-text