「temporal logics」を含む例文一覧(2)
- a proof technique which combines techniques from Petri net theory and from temporal logics
ペトリ・ネット理論からの技術と時相論理からの技術とを組合わせた立証技術 - コンピューター用語辞典 - Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*.
選択的経路量化記号と時相演算子の任意のネスティングを認めるかどうかに従って, 二つの時間交代性時相論理, ATLとATL*とが得られる. - コンピューター用語辞典
