Searching for "On *-lambda-semirings." – sorted by Relevance.
-
II. APPLICATIONS OF THE EQUATIONAL LOGIC OF FIXED POINTS
- In [41], we have defined inductive \Lambda -semirings that are partially ordered semirings with a star
- Add To MetaCart

