Non-deterministic expressions and predicate transformers.
| में प्रकाशित: | Information processing letters. 61, 5 (1997). |
|---|---|
| मुख्य लेखक: | |
| स्वरूप: | लेख |
| भाषा: | English |
| विषय: |
| में प्रकाशित: | Information processing letters. 61, 5 (1997). |
|---|---|
| मुख्य लेखक: | |
| स्वरूप: | लेख |
| भाषा: | English |
| विषय: |