About this scholarly article

Expressiveness Bounds for Completeness in Trace-based Network Proof Systems by Dauchet, M.; Nivat, M. is a scholarly article available to read on EtoBox.

Author

Dauchet, M.; Nivat, M.

Publisher

Springer-Verlag

Published

1988