The following pages link to Bingtian Xue (Q283761):
Displaying 9 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Concurrent weighted logic (Q890620) (← links)
- A complete approximation theory for weighted transition systems (Q1660779) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- A Decidable Recursive Logic for Weighted Transition Systems (Q2938181) (← links)
- (Q3174943) (← links)
- Decidability and Expressiveness of Recursive Weighted Logic (Q3455072) (← links)
- (Q4636572) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
