The following pages link to Xiao-Xiao Yang (Q1787787):
Displayed 11 items.
- Item:Q1787787 (redirect page) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- The least square solution with the least norm to a system of quaternion matrix equations (Q1787788) (← links)
- Numerical simulations of flows around a dual step cylinder with different diameter ratios at low Reynolds number (Q2282229) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Framed temporal logic programming (Q2469157) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- (Q4623850) (← links)
- Optimal mean-variance reinsurance with delay and multiple\\ classes of dependent risks (Q5063852) (← links)
- Operational Semantics of Framed Temporal Logic Programs (Q5448808) (← links)
- Logic Programming (Q5475789) (← links)