A Theoretical Basis for the Systematic Proof Method
Authors:
Wolfgang Bibel
Affiliations:
-
Venue:
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Year:
1980
Citing
0
Cited
1
On Matrices with Connections
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract