The following pages link to Shiguang Feng (Q2102775):
Displayed 10 items.
- The complexity of quantum circuit mapping with fixed parameters (Q2102776) (← links)
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
- Satisfiability of ECTL* with Tree Constraints (Q3194710) (← links)
- Path Checking for MTL and TPTL over Data Words (Q3451113) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- (Q4994943) (← links)
- MTL and TPTL for One-Counter Machines (Q5216144) (← links)
- Satisfiability for MTL and TPTL over Non-monotonic Data Words (Q5404916) (← links)
- Optimization of the transmission cost of distributed quantum circuits based on merged transfer (Q6101574) (← links)
- Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775) (← links)