理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- crossed automorphism
- crossed complex
- crossed-Dragone telescope
- crossed equivalence
- crossed extensor reflex
- crossed-field
- crossed functor
- crossed grating
- crossed-grating antenna
- crossed homomorphism
- crossed hyperbolic rotation
- crossed isomorphism
- crossed ladders problem
- crossed ladders theorem
- crossed lens
- crossed-loop antenna
- crossed module
- crossed molecular beam
- crossed multiplication
- crossed Nicol prism
- crossed Nicols
- crossed polarizer
- crossed polarizers
- crossed prism graph
- crossed product