Equational Axioms of Test Algebra
Authors:
Marco Hollenberg
Affiliations:
-
Venue:
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
Year:
1997
Citing
0
Cited
1
Kleene algebra with domain
ACM Transactions on Computational Logic (TOCL)
Quantified Score
Hi-index
0.00
Visualization
Abstract