The following pages link to Wen-Hui Zhang (Q250171):
Displaying 50 items.
- (Q350971) (redirect page) (← links)
- Neural integrated control for a free-floating space robot with suddenly changing parameters (Q350975) (← links)
- Bounded semantics (Q483292) (← links)
- (Q627619) (redirect page) (← links)
- Principal quasi-Baerness of formal power series rings. (Q627620) (← links)
- Number of models and satisfiability of sets of clauses (Q672138) (← links)
- Cut formulas in propositional logic (Q689298) (← links)
- A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
- Completeness of Hoare logic with inputs over the standard model (Q896915) (← links)
- A direct construction of polynomial-size OBDD proof of pigeon hole problem (Q987797) (← links)
- Cut elimination and automatic proof procedures (Q1183598) (← links)
- Depth of proofs, depth of cut-formulas and complexity of cut formulas (Q1329747) (← links)
- Logics for bisimulation and divergence (Q1652984) (← links)
- Efficient local level set method without reinitialization and its appliance to topology optimization (Q1793444) (← links)
- Combining static analysis and case-based search space partitioning for reducing peak memory in model checking (Q1884313) (← links)
- On Stancu-type generalization of modified \((p,q)\)-Szász-Mirakjan-Kantorovich operators (Q2046598) (← links)
- \((p,q)\)-gamma operators which preserve \(x^2\) (Q2067836) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494) (← links)
- On \((p, q)\)-analogue of gamma operators (Q2422262) (← links)
- Combining search space partition and abstraction for LTL model checking (Q2465733) (← links)
- (Q2779796) (← links)
- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition (Q2898000) (← links)
- Proving Liveness Property under Strengthened Compassion Requirements (Q2898061) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
- (Q2992789) (← links)
- (Q2993000) (← links)
- (Q3175362) (← links)
- (Q3180855) (← links)
- QBF Encoding of Temporal Properties and QBF-Based Verification (Q3192192) (← links)
- (Q3400430) (← links)
- (Q3406322) (← links)
- (Q3461748) (← links)
- Efficient State Space Reduction for Automata by Fair Simulation (Q3508542) (← links)
- Quasi-Armendariz Rings Relative to a Monoid (Q3510058) (← links)
- (Q3610994) (← links)
- (Q3641848) (← links)
- (Q4640559) (← links)
- (Q4688638) (← links)
- (Q4708203) (← links)
- (Q4737568) (← links)
- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems (Q4931298) (← links)
- (Q4984377) (← links)
- (Q4984485) (← links)
- (Q4984541) (← links)
- Continuous-domain ant colony optimization algorithm based on reinforcement learning (Q5010103) (← links)
- Unified error estimate for weak biorthogonal Greedy algorithms (Q5097875) (← links)
- Gorenstein IFP-平坦模 (Q5127907) (← links)
- n-Ding投射模和n-Ding内射模 (Q5196113) (← links)
- Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (Q5206962) (← links)
