Export Citations
1 Results for: Keyword: image and preimage operation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,846,323 records)|Limit your search to The ACM Full-Text Collection (775,757 records)
Select All
- articleOctober 2006
Kleene algebra with domain
ACM Transactions on Computational Logic (TOCL), Volume 7, Issue 4Pages 798–833https://doi.org/10.1145/1183278.1183285We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a codomain operation. KAD considerably augments the expressiveness of Kleene algebra, in particular for the specification and ...
