共 50 条
- [31] A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic AUTOMATED REASONING, PT I, 2020, 12166 : 432 - 453
- [32] A First-Order Differentiator with First-Order Sliding Mode Filtering IFAC PAPERSONLINE, 2019, 52 (16): : 771 - 776
- [35] First-order stable model semantics and first-order loop formulas Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [39] A Partial First-Order Affine-Scaling Method Acta Mathematica Sinica, English Series, 2019, 35 : 1 - 16