Pages that link to "Item:Q5395126"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395126):
Displaying 3 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- The use of associative information processing for constructing algorithms for solving systems of Boolean equations (Q2996036) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308425) (← links)