mu-calculus पर टैग किए गए जवाब

1
सीटीएल * और म्यू-पथरी
यह सर्वविदित है कि पेड़ / ग्राफ़ के गुणों को व्यक्त करने के लिए modal -calculusμμ\mu सबसे अधिक अभिव्यंजक लौकिक लॉगिक्स में से एक है, और CTL * कड़ाई से कम अभिव्यंजक -calculus की तुलना में कम है ।μμ\mu यहाँ मैं एक उदाहरण के लिए μμ\mu _ म्यू -क्युलकस सूत्र …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.