A formal theory of undirected graphs in higher-order logc
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 144-157
- https://doi.org/10.1007/3-540-58450-1_40
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Distributed network protocolsIEEE Transactions on Information Theory, 1983
- A Distributed Algorithm for Minimum-Weight Spanning TreesACM Transactions on Programming Languages and Systems, 1983