共 50 条
- [2] BOUNDED QUANTIFICATION IS UNDECIDABLE [J]. INFORMATION AND COMPUTATION, 1994, 112 (01) : 131 - 165
- [4] Greedy Implicit Bounded Quantification [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
- [5] On separation by function of bounded variation [J]. PERIODICA MATHEMATICA HUNGARICA, 2023, 87 (1) : 232 - 244
- [6] SEPARATION RESULTS FOR BOUNDED ALTERNATION [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 265 - 271
- [7] On separation by function of bounded variation [J]. Periodica Mathematica Hungarica, 2023, 87 : 232 - 244
- [8] SEPARATION PRINCIPLE WITH BOUNDED CONTROLS [J]. APPLIED MATHEMATICS AND OPTIMIZATION, 1977, 3 (2-3): : 243 - 261