The following pages link to Jinsheng Chen (Q1679792):
Displaying 9 items.
- Labelled sequent calculus for inquisitive logic (Q1679793) (← links)
- A survey on skill-based routing with applications to service operations management (Q2220357) (← links)
- Non normal logics: semantic analysis and proof theory (Q2303583) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Base argumentation as an abstraction of deductive argumentation (Q2695535) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Non normal logics: semantic analysis and proof theory (Q6315455) (← links)
- Managing flexibility: optimal sizing and scheduling of flexible servers (Q6669141) (← links)
