Zobrazeno 1 - 10
of 227
pro vyhledávání: '"Pan, Guoqiang"'
Autor:
Wang, Qi *, Pan, Guoqiang *, Wang, Xingfen, Sun, Zhengwen, Guo, Huiming, Su, Xiaofeng, Cheng, Hongmei
Publikováno v:
In Journal of Integrative Agriculture October 2024 23(10):3358-3369
Autor:
Pan, Guoqiang1 (AUTHOR), Cai, Yang1 (AUTHOR), Yang, Qiandong1 (AUTHOR), Shi, Wendian1 (AUTHOR) swd_nx@163.com
Publikováno v:
SAGE Open. Jul-Sep2024, Vol. 14 Issue 3, p1-12. 12p.
Autor:
Pan, Guoqiang1 (AUTHOR) andypan@shnu.edu.cn, Mao, Yu2 (AUTHOR), Song, Ziyuan3 (AUTHOR), Nie, Hui4 (AUTHOR) niehui@sues.edu.cn
Publikováno v:
Scientific Reports. 6/4/2024, Vol. 14 Issue 1, p1-14. 14p.
Publikováno v:
In Heliyon 30 July 2024 10(14)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wang, Qi, Pan, Guoqiang, Wang, Xingfen, Sun, Zhengwen, Guo, Huiming, Su, Xiaofeng, Cheng, Hongmei
Publikováno v:
Journal of Integrative Agriculture; October 2024, Vol. 23 Issue: 10 p3358-3369, 12p
Autor:
Pan, Guoqiang
Decision procedures for various logics are used as general-purpose solvers in computer science. A particularly popular choice is propositional logic, which is simultaneously powerful enough to model problems in many application domains, including for
Externí odkaz:
http://hdl.handle.net/1911/20686
Autor:
Pan, Guoqiang
We describe BDD-based decision procedures for K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Our algorithms compute the fixpoint of a set of types, which are sets of formulas satisfying so
Externí odkaz:
http://hdl.handle.net/1911/17614