Kleen's three-valued logic and process algebra

Authors:
Jan A. Bergstra;Alban Ponse
Affiliations:
-;-
Venue:
Information Processing Letters
Year:
1998

Citing 0
Cited 2

A contextual interpretation of undefinedness for runtime assertion checking

Proceedings of the sixth international symposium on Automated analysis-driven debugging
Proposition algebra

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.89

Visualization

Abstract