Terms containing bounded operators

Subject	English	Russian
progr.	A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators	Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
math.	bounded above operator	ограниченный сверху оператор
tech.	bounded above operator	ограниченый сверху оператор
math.	bounded below operator	ограниченный снизу оператор
phys.	bounded linear operator	ограниченный линейный оператор
math.	bounded operator	ограниченный оператор
progr.	bounded operators	ограниченные операторы (ssn)
progr.	bounded until operator	оператор ограниченного ожидания (ssn)
math.	theory of semigroups of linear bounded operators	теория полугрупп линейных ограниченных операторов
math.	well-bounded operator	вполне ограниченный оператор